• Title: Write You a Haskell: Building a Modern Functional Compiler from First Principles
• Author(s) Stephen Diehl
• Publisher: StephenDiehl.com (2015 )
• Hardcover/Paperback: N/A
• eBook: HTML and PDF
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

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.

This is a nontrivial topic and is unfortunately very much underserved, the knowledge to build such a modern functional language is not widely disseminated among many programmers. The available resources most often discuss language theory in depth while completely glossing over the engineering details. I wished to write a project-based tutorial that included the engineering details and left the reader with a fully functional toy language at the end that could be extended for further projects.

• N/A

• Amazon

• Compiler/Interpreter Design and Construction
• Haskell Programming
• Functional Programming

• Write You a Haskell: Building a Modern Functional Compiler from First Principles (Stephen Diehl)
• The Mirror Site (1) - Read Online
• Book Homepage (HTML and PDF Edition, etc.)

• Anatomy of Programming Languages (William R. Cook)
• Haskell: Functional Programming with Types (Joeri van Eekelen)
• O'Reilly® Parallel and Concurrent Programming in Haskell
• O'Reilly® Real World Haskell (Bryan O'Sullivan, Don Stewart, et al)