News for hackers. Stuff that matters.

A comment on OCaml Programming: Correct and Efficient and Beautiful. Parent comment

Re:OCaml Programming: Correct and Efficient and Beautiful by jganetsk on Sunday July 27, 2025 @03:40PM (#44703995)
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-mat... He also has in-depth critiques of laziness-by-default but the one link I found is a 404.
[ Parent | on HN ]
Re:OCaml Programming: Correct and Efficient and Beautiful by sideeffffect on Tuesday July 29, 2025 @09:46AM (#44723340)
If 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=PL0DsGHMPLUWVy9PjI9jOS...

[ Parent | on HN ]