The Implementation of Functional Programming Languages 在线电子书 图书标签: 函数式编程 编译原理 计算机科学 计算机语言 函数式 计算机 fp Haskell
发表于2024-11-24
The Implementation of Functional Programming Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
主要讲述,Lambda演算,Miranda语言的翻译
评分编译器相关书:数学和计算机之间的区分在于时间
评分主要讲述,Lambda演算,Miranda语言的翻译
评分可直接看 https://book.douban.com/subject/2311346/
评分编译器相关书:数学和计算机之间的区分在于时间
Simon Peyton Jones FRS (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. He is an honorary Professor of Computer Science at the University of Glasgow and co-supervises PhD students at the University of Cambridge.
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.
评分
评分
评分
评分
The Implementation of Functional Programming Languages 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024