An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)

Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.

函數式編程源於λ演算，它是世界上最小的編程語言。這本備受尊敬的書籍為數學和計算機科學專業的學生提供了一個易於理解的函數式編程概念和技巧的介紹。該書的內容盡可能非技術性，並且假設讀者對數學或函數式編程沒有先備知識。精心選擇的例子闡明了核心思想，並且書中還包含了大量的練習題，以加強關鍵概念的理解。所有問題都有完整的解答。