@wryl's (currently happening!) talk is certainly piquing my interest in rewriting rules #HandmadeSeattle
ive been steeped in rewriting rules si ce Tuesday when I first met @wryl
im still coming to terms with it
@aynish what are rewriting rules ?
@forestjohnson an entirely different paradigm of computing, that is much simpler conceptually
https://wryl.tech/projects/modal.html is one such implementation and goes into it more
@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