THE VIDEO SHELF · functional programming with types
Effective ML
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 HN readers recommended it
It is the go-to source for the idea of making illegal states unrepresentable through types, with the key moment at 28:02.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- Jane Street
- Topic
- functional programming with types
- Format
- lecture
- Level
- intermediate
- HN recommenders in dataset
- 2
- HN mentions in dataset
- 3
- Recommendation years in dataset
- 2018–2021
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
That'll be a great addition to the book. Can I also recommend Yaron Minsky's talk on OCaml, specifically the part where he talks about "making invalid states impossible": [VIDEO] I've found this to be the single most valuable programming technique I've learnt. Richard Feldman dives …
jasim on Hacker News · 2018-11
In Book Review: A Philosophy of Software DesignI guess the closest thing to what you want in Ocaml is modular implicits. [LINK] As far as the tradeoff, my view on types is a bit different than yours, I think. First, a quick note: > specify manually all the types of all the …
chillee on Hacker News · 2018-02
In What Made Lisp Different (2002)
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.