Write You a Haskell: Building a Modern Functional Compiler from First Principles (Stephen Diehl)

 
0.0 (0)
Write You a Haskell: Building a Modern Functional Compiler from First Principles (Stephen Diehl)

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 multiple optimizations passes, we will construct the small functional language Fun, which is a partial Haskell 2010 toy language.

This is a complex subject that is regrettably understudied; many programmers lack the skills necessary to create a functional language of this caliber. The accessible resources frequently go into great length about language theory while completely skipping over the engineering specifics. In order to provide the reader with a completely functional toy language that could be expanded for more projects, I wanted to write a project-based tutorial that also included the engineering aspects.

Similar Programming & Computer Books

Apprendre Haskell vous fera le plus grand bien ! - Learning Haskell will do you good! (Miran Lipovača, et al)
The goal of this free programming tutorial is to introduce persons who have expertise with imperative programming languages (C, C++, Java, Python, etc.) to functional programming languages (Haskell, ML,...
A Gentle Introduction to Haskell (Paul Hudak, et al)
This free programming tutorial's goal is not to teach you how to program or even about functional programming. Instead, it ought to be an addition to the Haskell Report,...
Dictionary of Programming Languages (Neal Ziring)
The Dictionary of Programming Languages is an online reference guide to computer coding techniques put together to educate and enhance your understanding of computer science history. Over 120 words...
Game Programming in Haskell (Elise Huard, et al)
Predictably, Game Programming in Haskell provides an introduction to creating games in the language.  
Language Translation Using PCCTS and C++: A Reference Guide (Terence John Parr)
This free programming book serves as a reference for the source-to-source parser generator SORCERER and the tree-parser generator ANTLR, Another Tool for Language Recognition. It is not meant to...
Scheme 9 from Empty Space: A Guide to Implementing Scheme in C (Nils M. Holm)
This free programming book serves as a comprehensive guide to the internal workings of the named scheme system. It offers a thorough explanation of every facet of a complex...
Logic Programming in Scheme (Nils M. Holm)
These queries are addressed in this tiny book: Logic programming: What is it? Why is logic programming difficult with negation? Who or what cuts? How should I approach logic...
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Andrea Asperti, et al)
This free programming book offers an accessible introduction to category theory for computer scientists as well as useful examples in the context of programming language design. In "Categories, Types...
Category Theory for Computing Science (Michael Barr, et al)
This free programming book is a textbook on fundamental category theory that was developed with computing science scholars and students in mind. In the context of examples and applications...
Real World Haskell 中文版 - Real World Haskell Chinese Version (Bryan O'Sullivan, et al)
With this free open-source book, we want to show you how to use functional programming and Haskell to solve realistic problems. This is a hands-on book: every chapter contains...

User reviews

There are no user reviews for this listing.
Ratings
Rate this Book
Comments