We want to share our experience and results of working on a static analysis tool for Haskell projects, which itself is written in Haskell:

https://github.com/kowainik/stan

Stan is a Haskell Static Analyser. It uses a novel approach to static analysis based on the HIE files — compile-time information about Haskell source code gathered and recorded by GHC. The HIE files contain types and detailed information about all identifiers in modules. Usage of the HIE files unleashes the full power of static analysis and opens opportunities for sophisticated and non-trivial checks. Additionally, Stan’s approach allows it to provide insightful and robust analysis for projects of a different variety.

In the talk about Stan, we want to share the project goals and implementation details, specifically:

• Stan implementation of Type and AST patterns using the final tagless technique
• Integration with Cabal and collecting of information from multiple sources
• Flexible configuration via TOML or CLI
• Usage of algebraic typeclasses and new abstractions to capture the whole runtime environment

Also, we will demonstrate how Stan works on real-world projects and showcase Stan advantages that could benefit the Haskell ecosystem.