u/rock_neurotikoin r/elixir • Recommends
On “Erlang/OTP 29.0”
You can watch here the last update from Valim
0:00 / 0:00
#elixir#typesystem#set-theoretictypes
Keynote: Precision in Type System Design - José Valim | ElixirConf EU 2026
Code Sync
15K subscribers • 68 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- Presented by José Valim, creator of Elixir
Intermediate. Assumes working knowledge.
6.8K views6 months ago2 recommendations
Programming languagesElixir and ErlangLanguage design and type systems
José Valim discusses the progress and design of the new set-theoretic type system for Elixir.
This talk was recorded at ElixirConf EU 2026. Check our upcoming events at elixirconf.eu/ -- -- -- Four years ago at ElixirConf EU José Valim announced a plan to develop a type system for Elixir. This project was divided into three distinct milestones. With the upcoming Elixir v1.20 release the language is finally completing the first milestone. This important step adds type inference to all language constructs. Join this keynote to understand exactly what this means for your daily work and discover where the project is heading next. -- -- -- Let's keep in touch! Follow us on: 💥 Bluesky: @elixirconf.bsky.social / elixirconf.bsky.social 💥 X: @ElixirConfEU / x.com/ElixirConfEU 💥 LinkedIn: ElixirConf® / linkedin.com/company/elixirconf/Why it's here
2 people recommend thisWhat people say. Recommended for the latest updates on adding set-theoretic types to Elixir.
u/allenwymain r/ProgrammingLanguages • Recommends
On “What does it take to add set-theoretic types to a dynamic language with 30 years of production code - and why did it take this long?”
Great questions, this is still bleeding edge research and development. I'm wondering if some of your questions can be answered in some of the talks given by Duboc and Jose. Here's the latest talk I can see from Jose: [video
I also tried to check into the researcher but I couldn't find her. Sounded like he said Anna Frisch, but I can be wrong.