I love their discussion on currying. Currying is very cool theoretically, but I agree that it really causes some bugs and isn’t used that often. It’s cool that most functional compilers automatically curry my functions and give me partial applications, but Id much rather they enforce all parameters be provided and have to explicitly make partial functions when necessary.