3 ms·
So, the syntax is so bad that you have to use an LLM to generate the spec, but also you still need to understand the spec the LLM generates which is now harder
by some_random 5mo ago
So, the syntax is so bad that you have to use an LLM to generate the spec, but also you still need to understand the spec the LLM generates which is now harder because you weren't even the one to write it. It sounds like the syntax just sucks and there's no way to get around it.
- raidicy 5mo agoThis was also my experience, one look at the full spec and I tuned out. I understand that this is not the tool for everything but scxml, state chart XML, gives you something like this but something that you can actually read without investing time learning syntax. It also has some plugins on vs code that allow you to edit it visually in case you don't want to write a bazillion XML tags.
- beu5a 5mo agoYou can try Quint for specifications. It has an easier syntax closer to functional programming language and doesn't require a big investment learning the syntax: https://github.com/informalsystems/quint https://github.com/informalsystems/quint
- pramodbiligiri 5mo agoThere's a more accessible syntax for TLA+ called PlusCal: https://learntla.com/intro/faq.html?highlight=pluscal#what-s-pluscal https://learntla.com/intro/faq.html?highlight=pluscal#what-s...