static-typing
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Cure - a new language compiled to BEAM |
|
21 | 1306 | November 29, 2025 |
| Mailboxer - a standalone tool that helps developers statically rule out type and communication errors - prototype sandbox now available |
|
2 | 186 | October 15, 2025 |
| Gradualizer - an experimental static type checker for Erlang (0.3.0 just out!) |
|
4 | 954 | July 7, 2023 |
| What would you like to see in Erlang or the BEAM world? |
|
45 | 2711 | January 20, 2022 |
| Erlang type system efforts |
|
14 | 4199 | December 27, 2021 |
| Static Typing discussion (split thread) |
|
25 | 2165 | December 22, 2021 |