static-typing
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game |
|
0 | 302 | June 27, 2023 |
| Sesterl - An ML-inspired statically-typed Erlang |
|
12 | 2347 | October 3, 2021 |
| Bidirectional Typing for Erlang (prototype) |
|
1 | 926 | August 26, 2021 |
| Stories of success or despair when foregoing typespecs in Elixir/Erlang |
|
14 | 2032 | August 24, 2020 |
| Statically typed languages on BEAM |
|
34 | 8606 | December 9, 2019 |
