static-typing
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Sesterl - An ML-inspired statically-typed Erlang |
![]() ![]() ![]() ![]() ![]() |
12 | 1927 | October 3, 2021 |
Bidirectional Typing for Erlang (prototype) |
![]() ![]() |
1 | 694 | August 26, 2021 |
Stories of success or despair when foregoing typespecs in Elixir/Erlang |
![]() ![]() ![]() ![]() ![]() |
14 | 1648 | August 24, 2020 |
Statically typed languages on BEAM |
![]() ![]() ![]() ![]() ![]() |
34 | 7487 | December 9, 2019 |