|
Set Theoretic typing and existing Elixir type heirarchy
|
|
16
|
558
|
April 25, 2026
|
|
A case for inline type annotations
|
|
59
|
2102
|
August 25, 2025
|
|
I'm creating compile-time Hero icons checking
|
|
3
|
166
|
July 25, 2025
|
|
In an age of AI, is static typing even necessary?
|
|
40
|
1363
|
June 23, 2025
|
|
Is it feasible for Elixir to introduce dedicated float operators?
|
|
2
|
281
|
June 15, 2025
|
|
How to adapt to the dynamic typing nature of Elixir?
|
|
13
|
839
|
May 23, 2025
|
|
Set Theoretic Type System topic
|
|
1
|
189
|
January 24, 2025
|
|
Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game
|
|
0
|
348
|
June 27, 2023
|
|
Sesterl - An ML-inspired statically-typed Erlang
|
|
12
|
2604
|
October 3, 2021
|
|
Bidirectional Typing for Erlang (prototype)
|
|
1
|
1050
|
August 26, 2021
|
|
Stories of success or despair when foregoing typespecs in Elixir/Erlang
|
|
14
|
2407
|
August 24, 2020
|
|
Statically typed languages on BEAM
|
|
34
|
9315
|
December 9, 2019
|