static-typing
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Set Theoretic Type System topic |
![]() ![]() |
1 | 98 | January 24, 2025 |
Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game |
![]() |
0 | 343 | June 27, 2023 |
Sesterl - An ML-inspired statically-typed Erlang |
![]() ![]() ![]() ![]() ![]() |
12 | 2527 | October 3, 2021 |
Bidirectional Typing for Erlang (prototype) |
![]() ![]() |
1 | 1025 | August 26, 2021 |
Stories of success or despair when foregoing typespecs in Elixir/Erlang |
![]() ![]() ![]() ![]() ![]() |
14 | 2254 | August 24, 2020 |
Statically typed languages on BEAM |
![]() ![]() ![]() ![]() ![]() |
34 | 9057 | December 9, 2019 |