Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023

Why it was recommended

watch the video presentation by the author[1]

Referencepzmarzly · Original2023-11

What it covers

ElixirConf EU 2023 talk by Giuseppe Castagna and Guillaume Duboc on bringing set-theoretic types to Elixir, and the benefits such a type system could offer such as catching. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

Code Sync

Length

40 min 15 sec

Year

2023

More in this topic

• Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
• The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
• "Simple Made Easy" - Rich Hickey (2011)
• "Making Impossible States Impossible" by Richard Feldman
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• The Value of Values with Rich Hickey