The Implementation of Functional Programming Languages

The Implementation of Functional Programming Languages pdf epub mobi txt 電子書 下載2025

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.

出版者:Prentice Hall
作者:Simon L. Peyton Jones
出品人:
頁數:500
译者:
出版時間:1987-5
價格:USD 61.00
裝幀:Hardcover
isbn號碼:9780134533339
叢書系列:
圖書標籤:
  • 函數式編程 
  • 編譯原理 
  • 計算機科學 
  • 計算機語言 
  • 函數式 
  • 計算機 
  • fp 
  • Haskell 
  •  
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

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.

具體描述

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

主要講述,Lambda演算,Miranda語言的翻譯

评分

主要講述,Lambda演算,Miranda語言的翻譯

评分

可直接看 https://book.douban.com/subject/2311346/

评分

主要講述,Lambda演算,Miranda語言的翻譯

评分

編譯器相關書:數學和計算機之間的區分在於時間

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有