[mplanchard]

If you look at his resume from a sibling comment of the one you were replying to, you’ll see that his experience is in industry, not academia

[codr7]

He's also arguing that code is math, which is academic bullshit at it's finest.

[james_s_tayler]

Abstract Algebra makes it way into code sometimes...

https://mikhail.io/2018/07/monads-explained-in-csharp-again/

[codr7]

You can express mathematical abstractions in code, this doesn't imply that one is a subtype of the other. You can express a lot of things in code that have nothing to do with math.