[zeromq-dev] Canonical language for the Guide

[Luna Duclos]

I'm very partial to Go, but then I'm one of the goczmq maintainers ..

On Wed, Apr 8, 2015 at 2:45 AM, Andrew Hume <andrew at humeweb.com> wrote:

> 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
> >
>
> _______________________________________________
> zeromq-dev mailing list
> zeromq-dev at lists.zeromq.org
> http://lists.zeromq.org/mailman/listinfo/zeromq-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.zeromq.org/pipermail/zeromq-dev/attachments/20150408/e3f26c15/attachment.htm>