hackertube.io

01 The History of Standard ML: Ideas, Principles, Culture

ICFP Video · talk · Watch on YouTube

Functional programmingProgramming language design

What it is

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 recommends it

Pointed to in language-history discussions as a good account of how ML and SML came to be.

  • 2 people recommended it
  • 2 different months
  • 0 strong recommendations
  • first 2016, last 2022

What HN commenters said

  1. “here's a nice history of ML (from stratchey to milner, landin et al.)”

    History of ML from Strachey to Milner and Landin

    agumonkey, 2016-11 · Recommendation · in “Standardized Ladder of Functional Programming [pdf]”

  2. “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

    larsberg, 2017-01 · Recommendation · in “CakeML – A Verified Implementation of ML”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: standard ml, functional programming, robin milner, ocaml, programming language history

Also recommended by the same people