josefs/Gradualizer

Gradualizer is a type-checking tool for Erlang that provides constraint-based type inference and gradual typing capabilities. It integrates with the Rebar3 build system and offers macros for type annotations, enabling developers to verify code correctness through automated testing and static analysis. The system includes a comprehensive test suite covering type inference, subtyping, and error handling for both valid and invalid Erlang code.

This period established the foundational infrastructure for the Gradualizer project, including build configuration, CI integration, and documentation. The core development focused on implementing constraint-based type inference for polymorphic calls and expanding comprehensive test coverage to validate the type checker's behavior across various language features and error conditions.

12 changes

This period focused on expanding the Gradualizer type checker by introducing new type annotation macros and refining type specifications for OTP core modules. The work included adding test coverage for CLI features and undefined type errors, as well as implementing property-based tests to ensure the correctness and termination of the typechecker.

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.