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: Understanding and Writing CompilersUnderstanding and Writing Compilers
by - Middlesex University
This book attempts to explain and demystify the principles of compiler writing so that you can go out and build a working compiler of your own. There is enough detail in this book for you to build a compiler for quite a complicated language.
(15428 views)
Book cover: Project Oberon - The Design of an Operating System and CompilerProject Oberon - The Design of an Operating System and Compiler
by
Here are the results of Project Oberon, which goal was to design an entire system from scratch. It gives advice on how a system might be built, and demonstrates how one was built. Program listings alone contain the ultimate explanations.
(21609 views)
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.
(21531 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.
(14582 views)