static-typing
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Gradualizer - an experimental static type checker for Erlang (0.3.0 just out!) |
![]() ![]() ![]() ![]() |
5 | 915 | July 7, 2023 |
What would you like to see in Erlang or the BEAM world? |
![]() ![]() ![]() ![]() ![]() |
45 | 2529 | January 20, 2022 |
Erlang type system efforts |
![]() ![]() ![]() ![]() ![]() |
15 | 4074 | December 27, 2021 |
Static Typing discussion (split thread) |
![]() ![]() ![]() ![]() ![]() |
25 | 2000 | December 22, 2021 |