The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Author: Kees Doets, Jan van Eijck, Jan Eijck
4.2

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

4.2

Review Date:

Comments

by eggy   2019-05-15
I loved working through Ken Iverson's, the creator of APL, books in J: "Calculus", "Algebra", and the "Concrete Math Companion" (a companion Knuth and Patashnik's book "Concrete Math" in J)[1].

I also like the Physics and Math in SICM (Structure and Interptretation of Classical Mechanics), and Scheme maps well to math equations, at least for me [2].

Julia does follow the way math is written, but I prefer Haskell. The book "The Haskell Road to Logic, Math and Programming" [3] is great, and this article on Geometric Algebra (GA) in Haskell is excellent [4].

[1] https://www.amazon.com/Haskell-Logic-Programming-Second-Comp...

[4] https://crypto.stanford.edu/~blynn/haskell/ga.html