hackertube.io

Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen

ClojureTV · talk · Watch on YouTube

Programming language designFunctional programming

What it is

Matthias Felleisen's keynote uses weather prediction as an analogy for type systems, arguing they forecast problems so you can act on them. It draws on his experience developing Typed Racket.

Why Hacker News recommends it

Referenced in static versus dynamic typing debates, including his remark that Hindley-Milner doesn't really work.

  • 1 people recommended it
  • 1 different months
  • 0 strong recommendations
  • first 2016, last 2021

What HN commenters said

  1. “Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket”

    Felleisen on motivation behind Typed Racket.

    jhck, 2016-07 · Recommendation · in “Racket v6.6”

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

Topics: typed racket, static typing, hindley-milner, racket, programming languages

Also recommended by the same people