Java语言导学（原书第6版）

[美] Raymond Gallardo, [美] Scott Hommel, [美] Sowmya Kannan, [美] Joni Gordon, [美] Sharon Biocca Zakhour

评分 0.0分

本书基于JavaSE8编写，清晰地介绍了面向对象编程的概念、语言基础等，涵盖了Lambda表达式、类型注解、默认方法、聚合操作、日期/时间API等JavaSE8的新特性，更新了限制恶意小程序的攻击和RIA等相关内容。每章后面的问题和练习可以帮助读者巩固所学知识，此外，附录中还给出Java编程语言认证考试的相关内容。本书可作为高等院校计算机等相关专业的基础教材，也可作为编程初学者和中级程序员的参考资

Real World OCaml

亚龙•闵斯基 (Yaron Minsky), 安尼尔•麦哈瓦佩迪 (Anil Madhavapeddy), 詹森•希基 (Jason Hickey)

评分 0.0分

The Reasoned Schemer

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

评分 8.7分

The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is

Category Theory for Programmers

Bartosz Milewski

评分 9.4分

Category Theory is one of the most abstract branches of mathematics. It is usually taught to graduate students after they have mastered several other branches of mathematics, like algebra, topology, a

Programming in Haskell

Graham Hutton

评分 9.2分

The Joy of Clojure

Michael Fogus, Chris Houser

评分 8.4分

Clojure is a dynamic programming language that targets the Java Virtual Machine. The Joy of Clojure goes beyond the syntax, and shows how to write fluent, idiomatic Clojure code. Readers will learn

Beginning F#

Robert Pickering

评分 0.0分

Functional programming is perhaps the next big wave in application development. As experienced developers know, functional programming makes its mark by allowing application builders to develop soluti

The Implementation of Functional Programming Languages

Simon L. Peyton Jones

评分 9.5分

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 read

JavaScript ES6函数式编程入门经典

[印]Anto Aravinth

评分 8.1分

《JavaScript ES6函数式编程入门经典》使用JavaScript ES6带你学习函数式 编程。你将学习柯里化、偏函数、高阶函数以及Monad等概念。 目前，编程语言已经将焦点从对象转移到函数。JavaScript支持函数式编 程，并允许开发者编写精心设计的代码。 主要内容 ● 掌握函数式编程的概念 ● 清楚函数在JavaScript中的地位 ● 理解真实的函数式类库，并创建一个模拟und

ML程序设计教程

[英] Lawrence C. Paulson

评分 8.7分

本书是关于ML程序设计的经典教材，详细介绍如何使用ML语言进行程序设计，并讲解函数式程序设计的基本原理。 书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站（http://www.cl.c

Haskell函数式程序设计

理查德·伯德

评分 6.0分

本书通过Haskell语言介绍函数式程序设计的基本思想和方法，讲解如何将数学思维应用于程序设计问题，以实现更高效的计算。本书涵盖Haskell的诸多特性，但并不是这门语言的参考指南，而是旨在利用丰富的实例和练习揭示函数式程序设计的本质。本书不要求读者具备程序设计基础，所涉及的数学知识也并不高深，既适合初学者阅读，也适合有经验的程序员参考。

函数式编程入门

[匈] 乌利斯·阿尔梅达 著

评分 7.9分

函数式编程具有代码简洁、开发速度快、易理解、易维护、扩展性强的特点，在某些领域可以解决让命令式编程头痛的问题，具有广泛的应用场景和良好的发展前景。本书是函数式编程的零基础教程，以Elixir为例讲解函数式编程与命令式编程的区别，帮助读者掌握函数式编程的基本概念和思想（如不可变值、显式数据转换、模式匹配、递归函数、高阶函数、多态等），并避免新手常犯的错误。本书尤其适合对Elixir感兴趣且无函数式编

魔力Haskell

韩冬

评分 8.2分

本书是一本由浅入深的Haskell教程。书中首先介绍Haskell的基础语法和函数式编程的基本概念，以及GHC、GHCi、Cabal等工具的用法；接着按照函子→应用函子→单子的顺序介绍Haskell中核心的三大类型类，并以列表单子、Reader单子和State单子为例详细分析单子类型类的来龙去脉；后介绍Foldable和Traversable类型类、单子变换、GHC的语言扩展和程序标注，以及网络编