Comments on: LACSS 2009: Domain Specific Languages and Haskell http://donsbot.wordpress.com/2009/10/16/lacss-2009-domain-specific-languages-and-haskell/ A Journal of Haskell Programming Mon, 03 Oct 2011 02:09:43 +0000 hourly 1 http://wordpress.com/ By: solrize http://donsbot.wordpress.com/2009/10/16/lacss-2009-domain-specific-languages-and-haskell/#comment-246 Sat, 17 Oct 2009 22:15:44 +0000 http://donsbot.wordpress.com/?p=413#comment-246 I think Haskell’s suitability for EDSL’s is sort of an accidentally emergent quality that still requires a lot of kludges to really use effectively. If EDSL’s are supposed to be an important Haskell application area, it may be worth thinking about how to extend Haskell or GHC to help with EDSL implementation. I’m imagining something along the lines of Liskell, a sort of Template Haskell relative that let you juggle abstract parse trees of Haskell code while still making sure the results were type-checked.

I’ve been interested for a while in Hedgehog Lisp, a tiny functional Lisp dialect intended for embedded systems. It would be awesome to have a statically typed variant of it and a Haskell EDSL is the obvious approach. But while it’s easy to imagine the code inside Hedgehog functions as monadic actions, it’s not so obvious how to express (e.g.) the function definitions themselves.

Maybe there could be an “edo” syntax (embedded do) analogous to mdo. Among other things all the normal Haskell imports including the Prelude could be completely hidden inside an edo block, so you wouldn’t have to say stuff like “a .+. b” all the time. Then you’d get a Liskell-ish parse tree which you could rewrite, type-check, and generate code from.

]]> By: dons00 http://donsbot.wordpress.com/2009/10/16/lacss-2009-domain-specific-languages-and-haskell/#comment-245 Sat, 17 Oct 2009 16:13:22 +0000 http://donsbot.wordpress.com/?p=413#comment-245 Thanks James. The pdf versions are linked at the start of the article.

]]> By: James Britt http://donsbot.wordpress.com/2009/10/16/lacss-2009-domain-specific-languages-and-haskell/#comment-244 Sat, 17 Oct 2009 16:11:15 +0000 http://donsbot.wordpress.com/?p=413#comment-244 This sounds quite interesting.

Is there a PDF version I can download without needing a user account?

]]> By: Ravi http://donsbot.wordpress.com/2009/10/16/lacss-2009-domain-specific-languages-and-haskell/#comment-243 Fri, 16 Oct 2009 21:22:23 +0000 http://donsbot.wordpress.com/?p=413#comment-243 I completely agree with what you’re saying (and wish I’d been there to see it in person). I think there’s a lot of opportunity to build an EDSL that effectively and efficiently straddles a number of different computational models (CPUs, GPUs, FPGAs, “cloud resources”, etc.).

]]>