November 2017
Intermediate to advanced
670 pages
17h 35m
English
Functional programming has been popularized largely as a result of Haskell (named after Haskell Curry), which is a programming language that was designed by a group of academics that are intimately familiar with the category theory. Since Haskell syntax is so clear and closely aligned with the original formal logical notations, we may see a few example in the following texts to help express category theory concepts.
Things are a bit different in Haskell than they are in Go. For example, Haskell variables are immutable, that is, they are not allowed to change. We use them only as bindings to expressions.