THE VIDEO SHELF · standard ml history
01 The History of Standard ML: Ideas, Principles, Culture
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.
Why HN readers recommended it
Pointed to in language-history discussions as a good account of how ML and SML came to be.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- ICFP Video
- Topic
- standard ml history
- Format
- talk
- Level
- intermediate
- HN recommenders in dataset
- 2
- HN mentions in dataset
- 3
- Recommendation years in dataset
- 2016–2022
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
speaking of functional programming language, here's a nice history of ML (from stratchey to milner, landin et al.) [VIDEO]
agumonkey on Hacker News · 2016-11
In Standardized Ladder of Functional Programming [pdf]You can hear a bunch more about the full history of development of SML and interaction with OCaml here: [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 …
larsberg on Hacker News · 2017-01
In CakeML – A Verified Implementation of ML
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.