undefined | Better HN

0 pointsackfoobar2y ago0 comments

"Does type X have an implementation for typeclass Y" isn't always easy to answer.

https://aphyr.com/posts/342-typing-the-technical-interview

0 comments

3 comments · 1 top-level

tines2y ago· 2 in thread

That post, while awesome (as is the rest of aphyr's stuff), is a lot to wade through to get to the point you're trying to convey. Can you spell it out for me?

ackfoobarOP2y ago

That typeclass resolution can encode some heavy computation, the example being n-queens in the article.

tines2y ago

That's only the case when you turn on the "enable arbitrary computation in typeclasses" flag, so I'd say it's not much of a worry.

j / k navigate · click thread line to collapse