Jason (jcreed) wrote,

Mike Gordon talking about the history of ML, and about the late Robin Milner's life.

I sort of like the funny infinite-canvas style of the talk.

"Underground café world of computer scientists in London [in the early 60s]... hung around and drank coffee and talked about semantics"

From LCFs to MLs...

Robin Milner, as a research assistant with no PhD writing to Dana Scott, asking him to look the other way while he (Milner) implements a system (Typed LCF) that Scott has decided is obsolete (having by now figured out a model D).

"Stanford LCF was programmed in LISP: Delightfully free of types"

ML abstract types were in part a solution to the problem of extremely limited memory on the machines of the day --- and type inference a way of getting back the nice absence of explicit type annotations in LISP.


"The Gentle Art of Levitation" was something with inductive types and codes that felt like not only lifting yourself by your bootstraps, but also tying knots in them.

"Every Bit Counts" was a functional pearl about automatically correct (de)serialization.
Tags: conferences, icfp

  • (no subject)

    Tried to twelf up a proof about encoding focusing in FOL. I thought it should have been "easy", since it doesn't really involve any substructural or…

  • (no subject)

    Reading some of simrob's draft paper and accompanying formalization reminds me that I don't know of anything stopping me from fully…

  • (no subject)

    A very satisfying little flash puzzle game by the author of "Bump" is " Ending", which I only discovered just now despite it apparently being (as…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment