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: Compiler ConstructionCompiler Construction
by - Addison-Wesley Pub
This book has emerged from the author's lecture notes for an introductory course in compiler design at ETH Z├╝rich. This book will try to explain why this subject is considered as important and relevant to computer science students in general.
(11408 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.
(12764 views)
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.
(11450 views)
Book cover: Compiler ConstructionCompiler Construction
- Wikibooks
The purpose of this book is to provide practical advice on writing a compiler, together with some examples of both compilers and interpreters, in order to break away from the concept that building compilers and interpreters are impossible tasks.
(5048 views)