josefs/Gradualizer

Gradualizer is a static type-checking tool for Erlang that performs constraint-based type inference and exhaustiveness analysis. It provides a command-line interface and library API to validate Erlang code against user-defined and standard library type specifications. The system supports advanced features such as polymorphic call inference, type refinement, and intersection types, while also tracking known limitations through a comprehensive suite of passing and failing test cases.

This period established the project's foundational infrastructure, including CI workflows, documentation, and the core constraint-based type inference engine. It simultaneously built out a comprehensive test suite to validate type checking, pattern matching, and error handling across various Erlang constructs.

12 changes

This period focused on expanding the Gradualizer's type system by introducing new annotation and assertion macros, alongside refining type specifications for OTP core and standard library modules. The work was supported by comprehensive test coverage, including property-based tests and helper modules, to ensure the correctness of type checking and error reporting.

6 changes

josefs/Gradualizer was measured the same way every project in this corpus was: the same rubric, at a pinned commit, with the result published in full. Point the surveyor at a repository you know and see whether you agree with it.