【文件属性】:
文件名称:函数式编程的科学介绍
文件大小: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.