• 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, PDF, Source Code, etc.)

• Haskell: The Craft of Functional Programming (Simon Thompson)

  This book is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains many examples and running case studies, etc.

• Exploring Generic Haskell (Andres Loh)

  This unlocks a new level of skill with this challenging Haskell programming language. Going beyond the basics of syntax and structure, this book opens up critical topics like advanced types, concurrency, and data processing.

• O'Reilly® Real World Haskell (Bryan O'Sullivan, et al)

  This easy-to-use, fast-moving tutorial introduces you to functional programming with Haskell. You'll learn how to use Haskell in a variety of practical ways, from short scripts to large and demanding applications.

• The Haskell School of Music - From Signals to Symphonies

  This book explores the fundamentals of computer music and functional programming through the Haskell. It explores common paradigms used in algorithmic music composition, such as stochastic generation, musical grammars, etc.

• Compiler Design: Theory, Tools, and Examples (Seth Bergmann)

  This is an introductory level text for compiler design courses, that emphasizes problem solving skills. The concepts are clearly presented with sampler problems and diagrams to illustrate the concepts.

• Basics of Compiler Design (Torben Mogensen)

  This book presents techniques for making realistic, though non-optimizing compilers for simple programming languages using methods that are close to those used in 'real' compilers, albeit slightly simplified in places for presentation purposes.

• Compiler Construction (William M. Waite, et al)

  This is a modern text written by two leaders in the field. It demonstrates how a compiler is built, and provides the reader with a firm theoretical basis for compiler construction and sound engineering principles.

• Learn Functional Programming (Goran Jovic)

  This friendly, lively, and engaging guide is perfect for any perplexed programmer. It lays out the principles of functional programming (FP) in a simple and concise way that will help you grok what FP is really all about.

• Object-Oriented vs. Functional Programming (R. Warburton)

  This book discusses similarities between these programming paradigms and points out that both FP and OOP are actually moving closer toward one another. One prominent example is the use of lambda expressions in Java and other OOP languages.