4 ms·
Sure but it's a deeply uninteresting exercise because no one programs in category theory.
by Avshalom 10y ago
Sure but it's a deeply uninteresting exercise because no one programs in category theory.
- AnimalMuppet 10y agoNo one programs in category theory, therefore... what? ELI5: What's the connection between your comment and JadeNB's?
- Avshalom 10y agoPeople aren't missing the point, they just aren't engaging with it because TFA makes it's point by claiming category theory is expressively inefficient... but nobody programs in category theory, the link between point free programming in F# and category theory is meaningless. Tacit programming in F# is a reflection on tacit programming in F# nothing else. So the commentariate has decided to talk about point free programming in general instead of engaging the article's very narrow and unsubstantiated point.