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: 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.
(11141 views)
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.
(6130 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.
(6760 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.
(3992 views)