Hi all,
I'd like to summarize my impressions on the DSL issue, gathered from the
responses to my posts.
It is absolutely amazing, various people have shown here that it is
possible to design languages within haskell that are almost or just as
powerful and safe as haskell itself. It is
To me, the D and S come in when I'm deciding what to support. The
domain represents the set of primitive operations I want to support. The
specific says that I don't support anything other than those operations.
Consider a language for laying out boolean logic circuits: we want to
implement only