I am not a big fan of static typing. Or, rather, I am not someone who prefers static typing. (Read this great blog post, 'Programming types and mindsets,' by David Heinemeier-Hanson to understand it.) But I really appreciate the work of José Valim, Giuseppe Castagna, and Guillaume Duboc.
Here are some links that you might find useful:
- 🆕 ElixirConf 2023 - José Valim - The foundations of the Elixir type system
- 🆕 BEAM Radio podcast EPISODE 60: GUILLAUME DUBOC AND TYPES IN ELIXIR - Guillame is the PhD. student doing the work on types in Elixir.
- Type system updates: moving from research into development
-
'José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir': an episode of the Elixir Wizards podcast. They provide an English transcript if you prefer reading the conversation.
- A thread on Elixir Forum about the episode above. José Valim appeared and wrote long messages.
- A proof-of-concept of the Elixir static typing system can be tested here.
- 'The Design Principles of the Elixir Type System' by G. Castagna, G. Duboc, and J. Valim: a scientific paper submitted to the The Art, Science, and Engineering of Programming journal
- 'Bringing Types to Elixir' by Giuseppe Castagna and Guillaume Duboc | a talk given at ElixirConf EU 2023
- Q&A on a type system for Elixir with Guillaume Duboc and José Valim: a live on José Valim's Twitch channel. Please note that Twitch removes videos after some time.
I am curious to see what the community will think. And do different segments of the community react differently? For instance, senior developers may love it while beginners may hate it. This is just a hypothesis that could be scientifically evaluated.