It still must have some glitches and it’s far from being considered v1.0.0 but it’s definitely a huge step forward. It comes with standard lib and a bunch of examples.
I note that Facebook’s “Infer” program is a pretty serious open source static analyser for
C, C++, Objective C, Java, python, Hack,
and
Erlang. They also provide an intermediate language with the intention of making it
easier to write additional front-ends. I wonder whether Infer has anything to offer Cure?
Very cool project. I myself dabbled in “dependent types for Erlang-like languages” with SLOT, but my primary goal is to create a statically-typed TLA+ alternative with modular effect system, rather than something that compiles to Erlang and runs on BEAM. There’s not much too see there right now, unless you’re into model checkers, because formal proofs take a lot of time, but maybe we can share some ideas.
Thanks for pointing me out to it. I doubt Cure might benefit from this project, though, mainly because Cure is already strongly typed which means the alien static analyzer would not see 99% of the issues they are tuned to fight against.
Secondly, I have a very sophisticated static analysis myself, Ragex v0.11.0 — Documentation . It works with MetaAST which is a native AST for Cure. It’s not plugged in yet, but I happily and successfully used it in my Elixir, Erlang and even Ruby projects.
I’ll surely come back when I will be into formal proofs (I plan to borrow ideas from Idris mostly.)