gsl

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...

Like this? https://github.com/imatix/gsl

The author of the blog, Martin Sustrik, is the original author of ZeroMQ. His late colleague in the project, Pieter Hintjens, extolled the virtue of effectively macro based code generation, especially using a "macro language" GSL: https://github.com/imatix/gsl Which has some previous discussion about it: https://news.ycombinator.com/item?id=11558007 I would imagine Martin has gone through the path of discussing macros long time ago, and for some reason or other does not refer to them here.

I once read about Pieter Hintjens' model oriented programming [1] which the idea I have yet to understand. Hope someone can provide more insight on this subject. HN discussion [2] [1] https://github.com/imatix/gsl [2] https://news.ycombinator.com/item?id=11558007

There is the GSL by iMatix https://github.com/imatix/gsl (so closely associated with Pieter Hintjens of http://zeromq.org/)

Projects like zproto [1], by using the "Universal Code Generator" GSL [2], have maybe already found the "common denominator" you are looking for. [1] https://github.com/zeromq/zproto [2] https://github.com/imatix/gsl

We have a class based messaging framework for developing applications into production (an inhouse application platform for .net ui applications). The resulting applications contain quite a lot of boiler plate to define effectively a directed graph of callbacks - a classic state machine. I'm figuring out this is a classic application domain for a code emitting state machine compiler and I might need to convince business with case studies (anecdotes are fine) in addition to implementing a prototype. Do you use state machine compilers in production code? What are your experiences viz. maintainability and scalability? There are lots of generators in the web and chapters in books about using state machine compilers but I've come up with very little concrete industry references except for imatix's GSL and their open source projects using it. Ou

Over the years, I've also used cfengine and a host of other systems and have decided that simplicity and the ability to customize a system to fit your needs are key. Turns out it's quite easy to roll your own, given the right tools. I now use: gsl https://github.com/imatix/gsl and synctool https://github.com/walterdejong/synctool The former is used to generate configurations for various classes of systems and the latter pushes them out over ssh. Works very well.