static-typing
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Set Theoretic typing and existing Elixir type heirarchy |
|
16 | 1012 | April 25, 2026 |
| A case for inline type annotations |
|
59 | 3082 | August 25, 2025 |
| I'm creating compile-time Hero icons checking |
|
3 | 362 | July 25, 2025 |
| In an age of AI, is static typing even necessary? |
|
39 | 2064 | June 20, 2025 |
| Is it feasible for Elixir to introduce dedicated float operators? |
|
2 | 452 | June 15, 2025 |
| How to adapt to the dynamic typing nature of Elixir? |
|
13 | 1302 | May 23, 2025 |
| Set Theoretic Type System topic |
|
1 | 431 | January 24, 2025 |
| Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game |
|
0 | 439 | June 27, 2023 |
| Sesterl - An ML-inspired statically-typed Erlang |
|
12 | 2698 | October 3, 2021 |
| Bidirectional Typing for Erlang (prototype) |
|
1 | 1079 | August 26, 2021 |
| Stories of success or despair when foregoing typespecs in Elixir/Erlang |
|
14 | 2824 | August 24, 2020 |
| Statically typed languages on BEAM |
|
34 | 9639 | December 9, 2019 |
