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.
Strong agree, this falls squarely into the bad part of the automagical category for me; a terse lambda syntax makes it quite unnecessary anyway.