zlacker

[parent] [thread] 1 comments
1. Tade0+(OP)[view] [source] 2025-04-30 09:13:09
That's still a huge indictment towards the languages/libraries they're using.
replies(1): >>touist+R82
2. touist+R82[view] [source] 2025-04-30 21:48:14
>>Tade0+(OP)
So much code everywhere is parsers and plumbing. Have it all generated, model-checked, proved, inspectable, debuggable... Pieter Hintjens said it better than I could https://github.com/imatix/gsl?tab=readme-ov-file#model-orien...
[go to top]