01 The History of Standard ML: Ideas, Principles, Culture
Why Hacker News recommends it
Pointed to in language-history discussions as a good account of how ML and SML came to be.
What it is
An ICFP 2015 keynote on the history of Standard ML, covering its ideas, principles and culture. It traces ML from Strachey, Landin and Milner through SML's development and its interplay with OCaml.
Recommended by 2 HN commenters across 2 different months, 2016 to 2022.
What Hacker News said
Recommends agumonkey · 2016-11 · on “Standardized Ladder of Functional Programming [pdf]”
speaking of functional programming language, here's a nice history of ML (from stratchey to milner, landin et al.) [this video]
Recommends larsberg · 2017-01 · on “CakeML – A Verified Implementation of ML”
You can hear a bunch more about the full history of development of SML and interaction with OCaml here: [this video] I would definitely agree with the opinion above that the SML language designers fall in the camp of deliberating extensively and fully formalizing all new language features before considering them for inclusion. Today, there are two challenges right now in the Successor ML space: - There's some broad agreement on a few things that should obviously be improved, but today many of the implementation owners don't have a huge amount of time, so getting them to also agree to the new features is complicated. Life is way easier when you only have one implementation. - There's a bunch of fa
Cites frou_dh · 2022-04 · on “Standard ML Family”
That's talked about in this recent article, "The History of Standard ML" [LINK] There's also this video presentation, "The History of Standard ML: Ideas, Principles, Culture" : [this video]