7K views · Sep 8, 2015 · 59:51 · 2 HN recommenders · 3 mentions · discussed 2016–2022
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 Hacker News points people here: Pointed to in language-history discussions as a good account of how ML and SML came to be.
“You can hear a bunch more about the full history of development of SML and interaction with OCaml here”HN comment, 2017
“here's a nice history of ML (from stratchey to milner, landin et al.)”
History of ML from Strachey to Milner and Landin
speaking of functional programming language, here's a nice history of ML (from stratchey to milner, landin et al.) this video
“You can hear a bunch more about the full history of development of SML and interaction with OCaml here”
Full history of SML development and interaction with OCaml
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 :-)
“There's also this video presentation”
Video presentation companion to the History of Standard ML article
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
