文件名称：函数式编程的科学介绍
文件大小：3.36MB
文件格式：PDF
更新时间：2022-12-18 03:39:08
函数式编程 科学
The Science of Functional Programming 函数式编程的科学介绍 The goal of this book is to teach programmers how to reason mathematically about types and code, in a way that is directly relevant to software practice. The material is presented at medium to advanced level. Readers will need to learn difficult con- cepts through prolonged mental concentration and effort. The book requires a certain amount of mathematical experience, at the level of familiarity with high-school algebra.