[zeromq-dev] Canonical language for the Guide

[Andrew Hume]

some (okay 15) years ago, we did a related thing with implementing
some distributed algorithms. we coded in a DSL (m4 macros, actually)
and could compile the “code” into either C or Promela.
Promela is (was) the language for the Spin protocol verifier; so as part of the
build process, we were able to ensure that the code would not deadlock
or other nasties.

admittedly, we had a simpler situation, but it was a sweet hack.

	andrew

> On Apr 7, 2015, at 1:04 PM, Pieter Hintjens <ph at imatix.com> wrote:
> 
> OK, I'll put together some sketches of what the DSL might look like.
> I'm thinking an XML model that generates pseudo-code and then C/CZMQ,
> and we can try other backends later.
> 
> -Pieter
>