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.
(11761 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.
(17780 views)
Book cover: Crafting Interpreters: A handbook for making programming languagesCrafting Interpreters: A handbook for making programming languages
by - craftinginterpreters.com
This book contains everything you need to implement a full-featured, efficient scripting language. You'll learn both high-level concepts around parsing and semantics and gritty details like bytecode representation and garbage collection.
(12216 views)
Book cover: Compiler ConstructionCompiler Construction
by - Springer
Our intent is to provide the reader with a firm theoretical basis for compiler construction and sound engineering principles for selecting alternate methods, imple­menting them, and integrating them into a reliable, economically viable product.
(8733 views)