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 • 23 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…
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