4 ms·
Lots of the comments seem to be missing the point that, despite the title, the author is not advocating the point-free style: > The point of this exercise is t
by JadeNB 10y ago
Lots of the comments seem to be missing the point that, despite the title, the author is not advocating the point-free style:
> The point of this exercise is to illustrate how the lambda calculus with pattern matching (or set theory for that matter) is superior to the point-free style in terms of expressive efficiency.
- Avshalom 10y agoSure 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.