From: Matthijs Kooijman Date: Fri, 4 Dec 2009 21:52:12 +0000 (+0100) Subject: Note that we've not considered EDSLs and TH. X-Git-Tag: final-thesis~100 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=5a403dc7395ffaa580c6d673ebd2debb638643b8;p=matthijs%2Fmaster-project%2Freport.git Note that we've not considered EDSLs and TH. --- diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index 3be5e3a..820327c 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -30,8 +30,22 @@ development. \stopitemize - \todo{Sidenote: No EDSL} + \placeintermezzo{}{ + \startframedtext[width=8cm,background=box,frame=no] + \startalignment[center] + {\tfa No \small{EDSL} or Template Haskell} + \stopalignment + \blank[medium] + + Note that in this consideration, embedded domain-specific + languages (\small{EDSL}) and Template Haskell (\small{TH}) + approaches have not been included. As we've seen in + \in{section}[sec:context:fhdls], these approaches have all kinds + of limitations on the description language that we would like to + avoid. + \stopframedtext + } Considering that we required a prototype which should be working quickly, and that implementing parsers, semantic checkers and especially typcheckers is not exactly the core of this research (but it is lots and