Mastodawn

For a while now I've been wanting a generic notation to explain various things on my wiki(tropical arithmetic, multisets, other programming languages, ternary logic, primes, etc..) and I found a PL design I really enjoy writing.

It lands in a weird place, I feel like it might be the only concatenative language without a stack? As far as I know anyways.

I took a day to implement it, and shoved it into a little interactive playground. I have yet to populate the examples.

https://wiki.xxiivv.com/site/rejoice
https://wiki.xxiivv.com/etc/rejoicerepl/

Show thread

Devine Lu Linvega

Unlike linear types in traditional programming languages like Rust or Clean, where resource tracking is a constraint imposed on the programmer, here linearity is not enforced, it is the model. Tokens don't persist because they're protected, but because nothing consumed them.