3 ms·
The person to look to for explanations of why OCaml/SML and not Haskell is Bob Harper. For example, the module system vs ad hoc polymorphism: https://existentia
by jganetsk 1y ago
The person to look to for explanations of why OCaml/SML and not Haskell is Bob Harper. For example, the module system vs ad hoc polymorphism: https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/ https://existentialtype.wordpress.com/2011/04/16/modules-mat... He also has in-depth critiques of laziness-by-default but the one link I found is a 404.
- sideeffffect 1y agoIf you'd like to see Bob Harper's take on programming languages, have a look at the short video series Practical Foundations for Programming Languages https://www.youtube.com/playlist?list=PL0DsGHMPLUWVy9PjI9jOSXsSHUQdfBuPk https://www.youtube.com/playlist?list=PL0DsGHMPLUWVy9PjI9jOS...