Support for atoms is now implemented.

This is a GC'd language, so no direct access to pointers (but you can write rust inline if you want that). There's mutability semantics but ultimately it leans hard on CFG-analysis to optimize as much as possible + gives rust as escape hatch.

rust code doesn't compile, afaik it can't

my lang compiles tho

My language is now faster than rust... sometimes.

Faster default hasher + the effects system opens up novel optimization opportunities.

got capabilities done

Spent time writing some basic optimizations for codegen. I've doubled the performance of some operations. Still much slower than Rust, but I'm about to write a CFG to do a lot more optimization. And there's still low hanging fruit.

My language now supports inference of union types in a way that's really neat and compiles to a rust enum under the hood. Full Hindley-Milner with unification, lots of type tracking info that I may use later like *where* a type comes from (for flow typing and refining later!).

I've always used it, literally since like... middle school papers. I can find so many old blog posts from 2012 that are absolutely full of them. web.archive.org/web/20150205...

Just a random wayback and there are 4 right there.