Why am I doing this? Whenever I come to this stuff I end up wondering why I don’t just work on the Algol 68 compiler … the answer is that although it would be nice to finish that project, it isn’t what I want to use to program in, and it won’t accomplish anything to my goal (possibly not really realisable) of integrating type theory into a practical systems language.

It’s something different I want, both as a finished product and as scaffolding toward it.

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.

And that’s what I’m working on here