通往逻辑、数学与编程的 Haskell 之路

Hacker News 上怎么说

• asolove · 2013 年

  虽然对于不在乎证明的程序员来说数学没有什么“通途捷径”，但对于对数学感兴趣的人来说，确实有一条通向证明的程序员之路。事实上，这本书的名字就叫《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）[0]。它涵盖了数学符号、证明构造以及许多程序员应该会感兴趣的离散数学内容。而且很大一部分结果都进行了演示……

  While there is no "royal road" to mathematics for programmers who don't care about proofs, there is a programmer's road to proofs for those interested in Math. In fact, the book is even called "The Haskell Road to Logic, Maths and Programming" [0]. It covers mathematical notation, proof construction, and lots of interesting portions of discrete math that should be of interest to programmers. And large portions of the results are demonstrated…

• Adaptive · 2011 年

  对于想学 Haskell 的人，我推荐这本相对冷门的《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）：http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput... 一边重温新旧数学概念，一边探索 Haskell，感觉棒极了。

  For those interested in learning Haskell, I can recommend the lesser known "Haskell Road to Logic, Maths, and Programming": http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput... It's great to go over old and new math concepts and do so while exploring Haskell.

• lostmypw · 2011 年

  > 我的目标真的是给自己的日常知识储备里加点数学，……我已经开始读《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）了，说不定适合你或者这里其他想提高数学水平的潜水党。有一篇书评 [2] 对这本书的评价很有意思。亚马逊上的其他评论可能也……

  > My goal is really to add math to my diet, ... I've started reading "The Haskell Road to Logic, Maths and Programming", maybe that's something for you or some other lurker here that would like to improve on math. There is a review [2] that gives an interesting impression on the book. The other ones at amazon might also…

• stiff · 2012 年

  有一本非常好的书就是专门教这个的（除了其他内容之外），叫《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）：http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...

  There is a really nice book trying to teach exactly this (among other things) called "The Haskell Road To Logic, Maths and Programming": http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...

• s2r2 · 2010 年

  http://homepages.cwi.nl/~jve/HR/ Jan van Eijck 写的《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）正是做这个的：它带你入门数学证明、基础逻辑问题（包括关系），以及用 Haskell 编程。我会由衷地把它推荐给那些还没有太多……

  http://homepages.cwi.nl/~jve/HR/ Jan van Eijck's »The Haskell Road to Logic, Maths and Programming« does exactly that: it introduces you to mathematical proofs, basic logic issues (including relations) and programming using Haskell. I'd wholeheartedly recommend it to someone who's not yet had much…

• jnbiche · 2015 年

  ……而且不想用 REPL，因为 REPL 在很多方面就像个功能强大的计算器（也可以当计算器用）。如果你真的很喜欢数学这套方法，并且越来越喜欢 REPL，不妨试试 Doets 和 van Eijck 写的《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）。不过话说回来，光看书不动手写代码，你是学不会编程的。这样看书你可以学到不少计算机科学知识，但学不会编程。……

  …and don't want to use the REPL, since the REPL in many ways resembles a powerful calculator (and can be used as such) If you really like the math approach, and grow to appreciate the REPL, give "The Haskell Road to Logic, Maths and Programming" by Doets and van Eijck a try. But no, you can't pick up programming just from reading books without attempting to program. You could pick up a good bit of computer science like that, but not programming.…

正在加载完整评论……