steinuilon Lobsters • Recommends
The History of Standard ML: Ideas, Principles, Culture
0:00 / 0:00
01 The History of Standard ML: Ideas, Principles, Culture
ICFP Video
3.8K subscribers • 33 videos on Hallway
- Recommended by 3 people: 2 on Hacker News and 1 on Lobsters.
- A classic. People kept recommending it from 2016 to 2020.
Intermediate. Assumes working knowledge.
6.9K views11 years ago3 recommendations
Programming languagesHistory and cultureLanguage design and type systemsFunctional programmingHistory of computing
An ICFP 2015 keynote tracing the history, design principles, and academic culture of Standard ML and its descendants.
The uploader added no description.Why it's here
3 people recommend thisWhat people say. Recommended as an excellent historical overview of the ML family of languages and their formal design process.
agumonkeyon Hacker News • Recommends
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.) link to this video
larsbergon Hacker News • Recommends
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: link to 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…
u/sclvin r/haskell • Mentions
On “"Excuse me, I think this is my stop..." -- haskell platform”
I think there's some truth to your story of ML, but it is rather more complicated. For those interested, the keynote at the ML Symposium by MacQueen at ICFP 2015 was _really great_ summary of some of this history: link to this video (and the Q&A included some back and forth discussion with some of those who did fork off and go other ways).
On the Haskell side, I'd add that the earlier history of Haskell had many more stewards on the language committee, and much of what was exciting in its development was the result of various hands on various compilers. Our current GHC-centric world has been around a while, but the "spirit of openness" in Haskell far predates it :-)
frou_dhon Hacker News • Mentions
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" : link to this video