undefined | Better HN

0 pointsackfoobar1y 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

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?

ackfoobarOP1y ago

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

tines1y 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

0 pointsackfoobar1y 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

tines1y ago

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?

ackfoobarOP1y ago

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

tines1y 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