Christmas came early! There has been no release since Feb 2021, that’s almost 22 months - time to fix it, so…
Gradualizer 0.2.0 is out!
Gradualizer is an experimental static type checker for Erlang with some support for gradual typing. A static type checker catches bugs in our source code thanks to type analysis.
This release comes with a number of highlights:
- exhaustiveness checking
- intersection types for multiple-clause specs
- Erlang Language Server integration
- property tests
- Hex package - gradualizer | Hex
- beautiful ExDoc generated docs on HexDocs (though a bit scarce yet) - gradualizer v0.2.0 — Documentation
- almost no errors when checking itself (“eating your own dog food”)
- a lot of bug, crash, infinite loop etc. fixes
The full changelog is available at https://github.com/josefs/Gradualizer/blob/master/CHANGELOG.md.
It’s written in Erlang, so contributions from the community are both possible and welcome.
It doesn’t use a PLT like Dialyzer, so there’s no need to (re)generate it or cache it in CI.
It’s still experimental and the Next Big Thing on the roadmap is polymorphism support.
Gradualizer supports Erlang. Check out Gradient if you’re interested, but prefer Elixir.
P.S. If this is not the right part of the forum, please move this thread accordingly. I couldn’t find a more suitable place, since all announcement categories seem to revolve around a particular project/topic.