X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=820327ce36008203deda81b3805af757464868f8;hp=3be5e3a64dc664aa7c40b6d2c09c5e50408c93e9;hb=8ec0a2193fa53fd7bc15c2118e676f82e904f493;hpb=e396ebbd1d8fec1fecfd94f7f2b46818501aec84 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