3 ms·
Funny how the same people that expect YOU to learn a bunch of arcane FP terminology suddenly demand that everything is explained to them in kindergarten terms
by reinman 4y ago
Funny how the same people that expect YOU to learn a bunch of arcane FP terminology suddenly demand that everything is explained to them in kindergarten terms
Perhaps the greatest irony of FP
BTW academic CT researchers are brilliant but usually aren't programmers
But the hate is warranted. Any new tech needs to be able to stand up to criticism
- garethrowlands 4y agoI think the author of the post you're replying likely understands category theory terminology and is arguing that the article misuses it and is incoherent. Functional programming theory has relied heavily on category theory ever since functional programs needed to do IO (around the late 90s), so it's fairly common for programmers to understand some basic category theory these days. After all, many things in programming aren't mathematical functions, so if programmers want invariants, then they do indeed need more mathematical objects than lambda calculus supplies. A better attack on functional programmers would be that they cargo cult category theory - but I don't think the article author is in a position to make that argument.