News for hackers. Stuff that matters.

A comment on Implementing and Understanding Type Classes (2014). Parent comment

Re:Implementing and Understanding Type Classes (2014) by leshow on Saturday April 28, 2018 @07:26PM (#16949963)
Maybe I'm misunderstanding, but isn't it possible to implement type classes as monomorphized as well as using dictionary passing. Rust has traits which I think map very closely to type classes (minus HKT), and that's all done through monomorphisation.

Additionally, GHC will try to monomorphise bounded functions if it can, because it's simply much faster without the extra layer of indirection.

I could be equating a few things which aren't equal, but I'd love to hear your take (or anyone elses)

[ Parent | on HN ]
Re:Implementing and Understanding Type Classes (2014) by calebh on Sunday April 29, 2018 @01:45PM (#16953016)
To call a function declared by a type class, you can use dictionary passing or monomorphization. GHC uses monomorphization as much as possible since it has zero overhead. Dictionaries are required only in very specific situations.
[ Parent | on HN ]