Today I have been poking through other people's C++ and Python code related to the project I am supposed to be working on. Am fearing that ML has ruined me for other programming languages. You seem to have to (or else by convention are encouraged to) go through such ridiculous hoops to do such simple things. I suppose ML has its share of things that it makes a little verbose (although string interpolation is really the only one that comes to mind) but... bleah.

As an antidote, I looked over a bunch of A. J. Power's category theory papers on Freyd-categories, which are pretty neat. They seem to have a lot to do with Arrows à la Hughes, but Bob Atkey says they are not quite the same deal.