ICFP Video
2 HN recommenders · recommended in 3 months, 2016–2022
59:51 · 7K views · Sep 8, 2015
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.
Pointed to in language-history discussions as a good account of how ML and SML came to be.
3 comments from Hacker News
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 fantastic ideas (largely driven by Bob Harper) to integrate stuff like parallelism, cost model, etc. that will be fantastic for a next version of the language and specification. It's just a lot of work, and not really publishable, so it's mainly tenured faculty and "alumni" (like myself and probably the people you work with) driving it forward in our free time. That said, I still love working on SML and its implementations (I mainly contribute to SML/NJ and Manticore) and it's a wonderful escape from the grim reality of quarterly goals and "get it out the door" release deadlines :-)
speaking of functional programming language, here's a nice history of ML (from stratchey to milner, landin et al.) this video
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