Devine Lu Linvega

Catlang programming language idea: Rejoice

It's like Joy, but instead of a stack, it's a multiset, and transformations are local rewriting rules.

The program state is a bag of unordered things, transformations are represented as fractions where the denominator indicates things to remove from the bag, and the numerator, things to add. Evaluation consists of applying fractions from left to right, each to exhaustion, until the bag stabilizes.

https://wiki.xxiivv.com/site/rejoice.html

Mar 10 at 7:53pmWeb
Show thread... and and and and ...Mar 10
@neauoire 
Show threadShae ErissonMar 10
@neauoire nifty! I still write Joy for fun
Show threadarosienMar 11
@neauoire reminds me of https://web.maths.unsw.edu.au/~norman/papers/NewMultisets5.pdf and the later video series https://www.youtube.com/watch?v=4xoF2SRp194, i'm sure there are direct connections
Show threadDevine Lu LinvegaMar 11

@arosien Watching, 3 minutes in, and he already talks about not trying to cross boundaries in real number arithmetic, LOVE IT

thanks for sharing! 🙌

Show threadarosienMar 11
@neauoire spoiler alert: multisets for polynomials!
Show threadDevine Lu LinvegaMar 11
@arosien that was excellent, started watching the others on the channel. I wish more people explored the mix of multisets and computation more :)