News for hackers. Stuff that matters.

A comment on Two Years of OCaml.

Re:Two Years of OCaml by JoelMcCracken on Tuesday May 02, 2023 @11:44AM (#35789349)
For a discussion on combining the benefits of modules with type classes, see "Modular Type Classes"; If I were to implement a language with similar features today, I would certainly use it.

https://www.cs.cmu.edu/~rwh/papers/mtc/full.pdf

[ Parent | on HN ]
Re:Two Years of OCaml by hajile on Tuesday May 02, 2023 @01:59PM (#35791648)
I love the idea because it makes typeclasses possible, but not super-easy which means devs will be discouraged from making Haskell's typeclass soup.
[ Parent | on HN ]