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