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: 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.
(13105 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.
(18524 views)
Book cover: ROSE Compiler FrameworkROSE Compiler Framework
- Wikibooks
The goal of this book is to have a community documentation providing extensive and up-to-date instructional information about how to use the open-source ROSE compiler framework, developed at Lawrence Livermore National Laboratory.
(9050 views)
Book cover: Let's Build a Scripting Engine-CompilerLet's Build a Scripting Engine-Compiler
by
This is a very hands-on approach to crafting a compiler and it does not follow any pre-defined set of rules. It is the author's intent to take some of the mystery out of what goes into making a working scripting engine - compiler.
(10943 views)