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