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