Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @sun@shitposter.world
Q.U.I.N.N.@icedquinn@blob.cat (2026-09-29 11:03:54)
@sun @7666 a big problem i have is that model based programming is just a better paradigm in the first place.

ex. with GSL you run scripts against xml to generate the code. in the parsing machine i was trying to rush through a lot of it is regular. there's opcodes, there's behaviors to interpret them, all the IDs need to line up, there's a document. putting it in a model file and deriving the artifacts literally deletes classes of mistakes entirely.

GLM slopping is "i updated the grammar sheet, now i have to ask the machine to fix it, then i have to verify that it did," and the leverage from this is very fucky.

with refal or maude your artifacts come out of a guaranteed pipeline from the model. i've been trying to read the maude manual to try this out before evangelizing it too hard.
---Reply---
Blurry Moon@sun@shitposter.world (2026-09-29 11:06:33)
@icedquinn @7666 link me to maude

---Replies---

Q.U.I.N.N.@icedquinn@blob.cat (2026-09-29 11:06:55)
@sun @7666 https://maude.cs.illinois.edu/ the docs are. very academic :|