On: Push ifs up and fors down: The idiom, its algebra, and its limits

[roblh]

I strongly feel that pattern matching is the most useful language feature that there is for writing code that's correct and easy to understand. Once you've used a language that has it, you never really want to go without it again.