First experiences building a Hindley-Milner typechecker

Gleam programming language creator Louis Pilfold talks with Richard about Gleam's design and various challenges that came up when implementing its compiler.

- Gleam Language - https://gleam.run

- Erlang Language - https://www.erlang.org

- Elixir Language - https://elixir-lang.org

- Roc Language - https://www.roc-lang.org

- Hadoukenify https://github.com/reibitto/hadoukenify - presumably based on https://twitter.com/dr4goonis/status/476617165463105536

- "Let-generalization: Let's not?" by Ayaz Hafiz - https://github.com/roc-lang/rfcs/blob/e4f05480ed96136395bb466bf5c241e42100bf66/0010-let-generalization-lets-not.md

- "Let Should Not Be Generalised" by Simon Peyton Jones, Dimitrios Vytiniotis, and Tom Schrijvers - https://simon.peytonjones.org/let-generalised/

Hosted on Acast. See acast.com/privacy for more information.