lambda-calculus

Why is Haskell (GHC) so darn fast?

by

Haskell (with the GHC compiler) is a lot faster than you’d expect. Used correctly, it can get close-ish to low-level languages. (A favorite thing for Haskellers to do is to try and get within 5% of C (or even beat it, but that means you are using an inefficient C program, since GHC compiles Haskell … Read more

What part of Hindley-Milner do you not understand?

by

I swear there used to be a T-shirt for sale featuring the immortal words: What part of do you not understand? In my case, the answer would be… all of it! In particular, I often see notation like this in Haskell papers, but I have no clue what any of it means. I have no … Read more