>One more time, just as the Set Theory is enough to express everything in Mathematics, the minimalistic functional programming notation (with ADTs) is enough to express everything in Programming. This is the most important insight, period.
had to stop reading there for a bit. is this the most midwit take on mathematics ever? there's nothing special about the fact that mathematical objects can be encoded using set theory. nobody actually does this in the real world because nobody wants to read "proofs" of theorems written entirely in braces nested 20 layers deep. it is neither novel nor insightful to say this kind of shit. real mathematical insight comes from actual exploration and work on mathematical concepts, not spending time on irrelevant shit that
aside from that, i seriously have no idea what this guy is even trying to say. maybe take some time to proofread the post before hitting the submit button?

>>107501617
I stopped reading when he mentioned Scala and corner of my eye caught the word "imperative".
I really am not sure what to say, but as a programmer, I want to apologize to all mathematicians, FPtard menace is a cancer that we don't know how to get rid of for good.

>>107500859
>the real non bulshit solution is... scala

lol. my non bullshit to this reply of course is not reading the rest of it.