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: GNU Compiler Collection (GCC) InternalsGNU Compiler Collection (GCC) Internals
- Free Software Foundation
This manual documents the internals of the GNU compilers, including how to port them to new targets and some information about how to write front ends for new languages. It corresponds to the compilers (GCC) version 4.4.0.
(6812 views)
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.
(11662 views)
Book cover: The GENTLE Compiler Construction SystemThe GENTLE Compiler Construction System
by - R. Oldenbourg Verlag
This book presents Gentle, an integrated system for compiler writers. Gentle supports the description of compilers at a very high level and relieves users from the need to deal with implementation details, significantly increasing productivity.
(6813 views)
Book cover: Bison: The Yacc-compatible Parser GeneratorBison: The Yacc-compatible Parser Generator
by - Free Software Foundation
Bison is a general-purpose parser generator that converts an annotated context-free grammar into an LALR(1) or GLR parser for that grammar. You need to be fluent in C or C++ programming in order to use Bison or to understand this manual.
(9168 views)