hackertube.io

Effective ML

Jane Street · lecture · Watch on YouTube

Functional programmingProgramming language design

What it is

Yaron Minsky of Jane Street gave this talk to Harvard's OCaml-based CS51 class in 2010. It collects advice on being an effective ML programmer in an industrial setting.

Why Hacker News recommends it

It is the go-to source for the idea of making illegal states unrepresentable through types, with the key moment at 28:02.

  • 2 people recommended it
  • 2 different months
  • 1 strong recommendations
  • first 2018, last 2021

What HN commenters said

  1. “I've found this to be the single most valuable programming technique I've learnt.”

    Minsky on making invalid states impossible

    jasim, 2018-11 · Strong recommendation · in “Book Review: A Philosophy of Software Design”

  2. “I thought this video had a good example.”

    Good example of encoding invariants in types

    chillee, 2018-02 · Recommendation · in “What Made Lisp Different (2002)”

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

Topics: ocaml, type-driven design, make illegal states unrepresentable, ml, industrial programming

Also recommended by the same people