fp

Lambda calculus can be used to express any computation, but what does it entail? As it turns out first class functions are the single most powerful abstraction.

Type classes are perhaps the most distinctive feature of Haskell. I’ve found them pretty confusing, but in reality they are an incredibly elegant solution to a certain problem found in functional languages.