Hi, I’m creating a new announcement thread for the purescript-analyzer’s progress.
I implemented several type checker features in the past few weeks, namely constraint solving, compiler-solved type classes, and instance deriving. The analyzer playground now also supports loading packages from the package set. Check it out here, please try to break the type checker as much as possible!
https://purefunctor.github.io/purescript-analyzer/
In the next few months I’ll be focusing on implementing type checking parity for core packages, then once some things are ironed out I’ll start introducing type information to the LSP server.