Geek asks and answers

What math topics are most important for Haskell's deep understanding?

Haskell is a language with many characteristics rooted in formal mathematics. What math topics should I study to get a deeper appreciation and understanding of the language? I believe that abstract algebra and category theory are also good topics to study, for example.

+5
source share
2 answers

I don’t think that abstract algebra (groups, rings, etc.) is directly related to Haskell, although the thinking style used in abstract algebra is very useful for Haskell programmers. This contrasts with imperative languages ​​that invoke thought processes more than those used in calculus or analysis.

, . Typeclassopedia, . Wikibook http://en.wikibooks.org/Haskell/Category_theory , , . , , , , -, . Haskell, , , , . Catsters ( "catsters" Youtube), , "", .

, , , , , ( -). ( ), , , Coq Agda. Haskellers "Software Foundations" (http://www.cis.upenn.edu/~bcpierce/sf/), Coq , . ; -).

+2

, , , , , , , , , -, , , , , haskell.

+9

More articles:


All Articles