Thinking Functionally with Haskell 豆 0.0分

资源最后更新于 2020-08-19 16:11:55

作者：Richard Bird

出版社：Cambridge University Press

出版日期：2014-01

ISBN：9781107452640

文件格式： pdf

标签： Haskell 函数式编程 Programming FP 计算机科学 计算机 软件工程 programming

简介· · · · · ·

Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their propert...