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