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: Let's Build a CompilerLet's Build a Compiler
by
A tutorial on the theory and practice of developing language parsers and compilers. It covers every aspect of compiler construction, programming language design, and building a working compiler. More theoretical aspects of the subject are ignored.
(13828 views)
Book cover: Using and Porting the GNU Compiler Collection (GCC)Using and Porting the GNU Compiler Collection (GCC)
by - Free Software Foundation, Inc.
This manual documents how to run, install and port the GNU compiler, as well as its new features. It corresponds to GCC version 3.0. Only the options for the C, Objective-C, and C++ compilers and those of the GCC core are discussed.
(12005 views)
Book cover: Compiler Design in CCompiler Design in C
by - Prentice-Hall
The approach is similar to that taken by Tanenbaum for operating systems in the C-language that implements all algorithms. The book presents the subject of Compiler Design in a way that's understandable to a programmer, rather than a mathematician.
(4554 views)
Book cover: Compiler Design: Theory, Tools, and ExamplesCompiler Design: Theory, Tools, and Examples
by - Rowan University
This is an introductory level text for compiler design courses, that emphasizes problem solving skills. The concepts are clearly presented with sampler problems and diagrams to illustrate the concepts. The text also covers lex and yacc.
(6803 views)