• Title: The Implementation of Functional Programming Languages
• Author(s) Simon Peyton Jones
• Publisher: Prentice Hall (August 1987)
• Paperback: 500 pages
• eBook: PDF (457 pages), etc.
• Language: English
• ISBN-10: 013453333X
• ISBN-13: 978-0134533339
• Share This:  

Book Description

This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style. Instead this book will assume that the reader is familiar with functional programming; those without this familiarity may find it heavy going.

The first part describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, including detailed coverage of pattern-matching and type-checking.

The second part begins with a simple implementation of the lambda calculus, based on graph reduction, and then develops a number of refinements and alternatives, such as supercombinators, full laziness and SK combinators.

Finally, the third part describes the G-machine, a sophisticated implementation of graph reduction, which provides a dramatic increase in performance over the implementations described earlier.

• N/A

• Amazon

• Functional Programming
• Theory of Programming Languages
• Computer and Programming Languages

• The Implementation of Functional Programming Languages (Simon Peyton Jones)
• The Mirror Site (1) - PDF

• Implementing Functional Languages: A Tutorial

  This book provides a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. It is intended to help students to develop, modify and experiment with their own implementations.

• Sketchy LISP: Introduction to Functional Programming

  This book is a step-by-step introduction to functional programming in Scheme. By means of numerous examples of varying complexity, it takes the reader on an entertaining and informative tour through the language.

• Functional Programming in Scheme (Kurt Normark)

  This is a book about functional programming in Scheme, which is a pragmatic choice of programming language in the functional programming paradigm, with unique flexibility due to the membership of the Lisp family of languages.

• Purely Functional Data Structures (Chris Okasaki)

  This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. All source code is given in Standard ML and Haskell.

• 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.