Seven Languages in Seven Weeks

Day 2: Spock’s Great Strength

With some characters, you might not notice their best qualities for quite some time. With Spock, it’s easy to grasp his great strengths. He’s brilliant, always logical, and completely predictable. Haskell’s great strength is also that predictability and simplicity of logic. Many universities teach Haskell in the context of reasoning about programs. Haskell makes creating proofs for correctness far easier than imperative counterparts. In this section, we’ll dig into the practical concepts that lead to better predictability. We will start with higher-order functions. Then, we’ll talk about Haskell’s strategy for combining them. That will take us into partially applied functions and currying. We’ll finally look at ...