tikhon at jelv.is
Fri Mar 27 07:14:40 UTC 2015
Galois has released a few well-documented examples including Ivory, a
language for safer systems programming and Cryptol, a language for
specifying cryptographic algorithms.
A couple of other low-level examples are Copilot and Atom, both of
which generate C for embedded programming but with somewhat different
characteristics and aims.
On a slightly different note, we have SBV (SMT-based verification) which
presents a high-level programming model for using multiple SMT solvers
including the recently open-sourced Z3.
All of these follow a pretty similar pattern in terms of letting you
specify logic and generate code for it. A different sort of DSL can be
found in various combinator libraries like Parsec (for parsing) and the
Wadler/Leijin Pretty Printer for, well, pretty printing (ie the inverse
On Fri, Mar 27, 2015 at 12:04 AM, Закиров Марат <marat61 at gmail.com> wrote:
> Hi folks!
> Are there any examples of Domain Specific Language (DSL) on Haskell? Thank
> you in advance.
> *Regards, Marat.*
> *С уважением Марат.*
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe