Logo

Write You a Haskell: Building a modern functional compiler from first principles

Small book cover: Write You a Haskell: Building a modern functional compiler from first principles

Write You a Haskell: Building a modern functional compiler from first principles
by

Publisher: StephenDiehl.com
Number of pages: 246

Description:
We will build a small functional language called Fun which is a partial Haskell 2010 toy language; complete with a parser, type inference, datatypes, pattern matching, desugaring, typeclasses, higher-kinded types, monadic IO, arbitrary-rank polymorphism, records, Core language, STG intermediate language, lazy evaluation, interpreter, native code generator, a runtime, and several optimization passes.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: Language Translation Using PCCTS and C++Language Translation Using PCCTS and C++
by - Automata Publishing Company
This book is a reference guide for the parser generator ANTLR, ANother Tool for Language Recognition, and the tree-parser generator SORCERER, which is suited to source-to-source translation. It is valuable to scientists, engineers, or programmers.
(12033 views)
Book cover: Parsing Techniques: A Practical GuideParsing Techniques: A Practical Guide
by - Ellis Horwood Ltd
This book treats parsing in great depth. It offers a clear and thorough discussion of different parsing techniques with their applications, including error recovery techniques. The text covers almost all parsing methods, not just the popular ones.
(12160 views)
Book cover: Project Oberon - The Design of an Operating System and CompilerProject Oberon - The Design of an Operating System and Compiler
by
Here are the results of Project Oberon, which goal was to design an entire system from scratch. It gives advice on how a system might be built, and demonstrates how one was built. Program listings alone contain the ultimate explanations.
(12721 views)
Book cover: Compilers and Compiler GeneratorsCompilers and Compiler Generators
by - Rhodes University
Designed for computer science students studying for a second year course in compilers/programming language translation, this text manages to combine theory, applications and use of compiler writing tools to give a solid introduction to the subject.
(7214 views)