Re:The Wyvern Programming Language
by cyrus_ on Friday August 08, 2014 @10:52AM
(#8153016)
(I work on Wyvern)
Nimrod is quite interesting to us too, though I don't know that it was at the forefront of our minds. Convergent evolution perhaps. I don't believe Nimrod supports type-specific languages or other sorts of extensible parsing (see first paper on the webpage).
[ Parent
| on HN ]
I unfortunately don't have the time to read the whole paper or even the knowledge to understand most of the things written in it unfortunately.
But as far as I can tell these "type-specific languages" are possible in Nimrod. The most basic tool is probably the "distinct type" (http://build.nimrod-lang.org/docs/manual.html#distinct-type). Macros can then be used to create DSLs for HTML generation, and they already exist (http://build.nimrod-lang.org/docs/htmlgen.html).