From: Matthijs Kooijman Date: Wed, 9 Dec 2009 09:31:39 +0000 (+0100) Subject: Some fixes to the prototype chapter. X-Git-Tag: final-thesis~9 X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=efc1953cd015844a2d969a9c9b6e633569891033 Some fixes to the prototype chapter. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 8058a15..922322b 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -1952,7 +1952,7 @@ twice). This is discussed in more detail in \in{section}[sec:normalization:duplicatework]. - \subsubsection{Literals} + \subsubsection[sec:normalization:literals]{Literals} There are a limited number of literals available in Haskell and Core. \refdef{enumerated types} When using (enumerating) algebraic data-types, a literal is just a reference to the corresponding data diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index 0033c05..720053c 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -49,11 +49,11 @@ } Considering that we required a prototype which should be working quickly, and that implementing parsers, semantic checkers and especially - type-checkers is not exactly the Core of this research (but it is lots and - lots of work!), using an existing language is the obvious choice. This + type-checkers is not exactly the core of this research (but it is lots and + lots of work, using an existing language is the obvious choice. This also has the advantage that a large set of language features is available to experiment with and it is easy to find which features apply well and - which do not. Another import advantage of using an existing language, is + which do not. Another important advantage of using an existing language, is that simulation of the code becomes trivial. Since there are existing compilers and interpreters that can run the hardware description directly, it can be simulated without also having to write an interpreter for the @@ -103,9 +103,9 @@ and Verilog are on the higher level, while we will be using \small{VHDL} mainly to write low level, netlist-like descriptions anyway. - An added advantage of using VHDL is that we can profit from existing - optimizations in VHDL synthesizers. A lot of optimizations are done on the - VHDL level by existing tools. These tools have been under + An added advantage of using \VHDL\ is that we can profit from existing + optimizations in \VHDL\ synthesizers. A lot of optimizations are done on the + \VHDL\ level by existing tools. These tools have been under development for years, so it would not be reasonable to assume we could achieve a similar amount of optimization in our prototype (nor should it be a goal, considering this is just a prototype). @@ -134,10 +134,9 @@ simple, structural descriptions, without any complex behavioral descriptions like arbitrary sequential statements (which might not be supported by all tools). This ensures that any tool that works - with \VHDL\ will understand our output (most tools do not support - synthesis of more complex \VHDL). This also leaves open the option - to switch to \small{EDIF} in the future, with minimal changes to the - prototype. + with \VHDL\ will understand our output. This also leaves open the + option to switch to \small{EDIF} in the future, with minimal changes + to the prototype. \section{Simulation and synthesis} As mentioned above, by using the Haskell language, we get simulation of @@ -154,8 +153,8 @@ \section[sec:prototype:design]{Prototype design} As suggested above, we will use the Glasgow Haskell Compiler (\small{GHC}) to implement our prototype compiler. To understand the design of the - compiler, we will first dive into the \small{GHC} compiler a bit. Its - compilation consists of the following steps (slightly simplified): + prototype, we will first dive into the \small{GHC} compiler a bit. Its + compilatprototype consists of the following steps (slightly simplified): \startuseMPgraphic{ghc-pipeline} % Create objects @@ -199,7 +198,7 @@ type-checker. \stopdesc \startdesc{Desugaring} - This steps takes the full \small{AST} and translates it to the + This step takes the full \small{AST} and translates it to the \emph{Core} language. Core is a very small functional language with lazy semantics, that can still express everything Haskell can express. Its simpleness makes Core very suitable for further simplification and @@ -213,7 +212,7 @@ \startdesc{Backend} This step takes the simplified Core program and generates an actual runnable program for it. This is a big and complicated step we will not - discuss it any further, since it is not required for our prototype. + discuss it any further, since it is not relevant to our prototype. \stopdesc In this process, there are a number of places where we can start our work. @@ -344,7 +343,8 @@ binder name should of course be bound in a containing scope (including top level scope, so a reference to a top level function is also a variable reference). Additionally, constructors from - algebraic data-types also become variable references. + algebraic data-types also become variable references (\eg\ + \lam{True}). In our examples, binders will commonly consist of a single characters, but they can have any length. @@ -355,7 +355,7 @@ Each binder also carries around its type (explicitly shown above), but this is usually not shown in the Core expressions. Only when the type is relevant (when a new binder is introduced, for example) will it be - shown. In other cases, the binder is either not relevant, or easily + shown. In other cases, the type is either not relevant, or easily derived from the context of the expression. \todo{Ref sidenote on type annotations} \stopdesc @@ -371,7 +371,8 @@ normal Haskell versions (but there are built-in conversion functions). Without going into detail about these types, note that a few conversion functions exist to convert these to the normal - (boxed) Haskell equivalents. + (boxed) Haskell equivalents. See + \in{section}[sec:normalization:literals] for an example. \stopdesc \startdesc{Application} @@ -384,6 +385,9 @@ for normal function \quote{calls}, but also for applying type abstractions and data constructors. + The value of an application is the value of the function part, with the + first argument binder bound to the argument part. + In Core, there is no distinction between an operator and a function. This means that, for example the addition of two numbers looks like the following in Core: @@ -401,9 +405,6 @@ \startlambda 1 + 2 \stoplambda - - The value of an application is the value of the function part, with the - first argument binder bound to the argument part. \stopdesc \startdesc{Lambda abstraction}