Static Analysis Tools?

With such a strong type system there’s a potential for some really powerful developer tools and explorers based on static analysis.

Are there any notable projects working on this? Being able to explore more visually the type system would be a good first tool. Ie. Explore how your application data is modelled, how modules depend on each other, etc.

1 Like

I use GitHub - rescript-association/reanalyze: Experimental analyses for OCaml/ReScript: for globally dead values/types, exception analysis, and termination analysis.