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: 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.
(6051 views)
Book cover: The Power PC Compiler Writer's GuideThe Power PC Compiler Writer's Guide
by - Warthman Associates
This book describes the code patterns that perform well on PowerPC processors. The book will be particularly helpful to compiler developers and application-code specialists who are already familiar with optimizing compiler technology.
(11084 views)
Book cover: Basics of Compiler DesignBasics of Compiler Design
by - Lulu.com
The book written for use in an introductory compiler course. It is intended to convey the general picture without going into extreme detail. It should give the students an understanding of how compilers work and the ability to make simple compilers.
(11074 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.
(4943 views)