@aynish huh, wait, its not rewriting text is it ? ? It's rewriting some internal structure that the text represents ? I obviously don't get it but right away I'm worried about lack of strong separation between code and data

@forestjohnson it's rewriting over any data type. monad is specifically unordered sets. there is actually a seperation of data, between the data structure and the rules which operate on the data

@aynish so the rules can't rewrite the rules?

It looks like it might be really hard to make anything big and do internet stuff on this thing. I can see the coolness based on how simple it is to implement, but I wonder if that comes with a bigger cost of difficulty implementing apps on top of it.

I'm not sure I buy the impetus to throw everything away and restart.

@forestjohnson you can rewrite rules using rules i believe

yeah, i think its explicitly *not* doing internet stuff, and its certainly a constrained environment, but i think the point is that "real life computation" looks a lot more like rewriting than it does more industry standard computing, so you can speak to everyday people with the same language, not just programmers

yeah i dont think that's gonna happen either