ElixirConf 2023 - José Valim - The foundations of the Elixir type system

Why it was recommended

If you're into watching talks, this will be well worth your time.

Strong recommendationgregors · Original2024-06

What it covers

José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

ElixirConf

Length

1 hr 11 min

Year

2023

More in this topic

• How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
• Why Isn't Functional Programming the Norm? – Richard Feldman
• Maybe Not - Rich Hickey
• Conway's Game Of Life in APL
• Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
• Crockford on JavaScript - Volume 1: The Early Years