The experimental language project: Work Area

First have a look at my main goals.

What I’ve been doing until now is various experimental small projects, each testing my ability to handle the various aspects of my dream. It’s time to put it all together and make it work.

To make progress, instead of many subprojects, I need to specify a few abstract machines, a few syntactally structured notations, a few type systems, and the relationships between them. These won’t be definitive — things have to change when you implement — but they must each be complete. I’ll change the definitions when I need to.