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: 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.
(10806 views)
Book cover: An Introduction to CompilersAn Introduction to Compilers
by - Vrije Universiteit Brussel
Contents: Introduction; Lexical analysis; Parsing; Checking static semantics; Intermediate code generation; Optimization of intermediate code; Code generation; Introduction to x86 Assembler Programming under Linux; Mc: the Micro-x86 Compiler; etc.
(14954 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.
(12651 views)
Book cover: Implementing Programming LanguagesImplementing Programming Languages
by
This book follows a theory-based practical approach, where theoretical models serve as blueprint for actual coding. The reader is guided to build compilers and interpreters. The solutions are moreover portable to different implementation languages.
(12832 views)