PureScript Alexandrite

Ecosystem
#1

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-alexandrite/

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.

6 Likes
#2

I’ve just released v0.0.11 of the purescript-analyzer project (soon to be renamed purescript-alexandrite). This is a milestone version for the project: it contains the first generally available version of the type checker.

There’s still edge cases here and there, but I’m pretty confident that it can check most simple PureScript programs, so do give it a shot!