> He points out that the function names and type names that stem from category theory are not very good at communicating their intent in programming This was m

> He points out that the function names and type names that stem from category theory are not very good at communicating their intent in programming This was my point exactly, also thanks for the link I'll have to checkout that talk :-)