函数式编程的科学介绍

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 c