X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FConclusions.tex;h=a8d7e9b5f5b7149f6801b97604f0b6aa2368afef;hp=fff4b3d7f4dae2d493b13997b508b58cc245ce19;hb=75d1001c7a7809c80bc4113477ad90b12f23b80f;hpb=8d8f1604f480e79ec31a6c706e25ca1d9a6d6add diff --git a/Chapters/Conclusions.tex b/Chapters/Conclusions.tex index fff4b3d..a8d7e9b 100644 --- a/Chapters/Conclusions.tex +++ b/Chapters/Conclusions.tex @@ -12,7 +12,7 @@ assigment in the hardware. Useful features from the functional perspective, like polymorphism and higher-order functions and expressions also prove suitable to describe hardware and our implementation shows that they can be translated to -\VHDL as well. +\VHDL\ as well. A prototype compiler was created in this research. For this prototype the Haskell language was chosen as the input language, instead of creating a new @@ -63,7 +63,7 @@ It is expected that Cλash will be used as a tool in education at the University of Twente soon, hopefully this will provide a better insight in how the system performs. -The prototype compiler has a clear design. Its frontend is taken from the \GHC +The prototype compiler has a clear design. Its frontend is taken from the \GHC\ compiler and desugares Haskell into a small, but functional and typed language, called \emph{Core}. Cλash adds a transformation system that reduces this small language to a normal form and a simple backend that performs a