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