3 ms·
I remember enjoying this the first time and on this visit I was like woah btilly wrote this! I am row, algebraist, functional. What I find interesting is, if
by Dn_Ab 14y ago
I remember enjoying this the first time and on this visit I was like woah btilly wrote this!
I am row, algebraist, functional.
What I find interesting is, if your correlation is true and given that Analysis and algebra are duals (in the category theoretic sense) to each other - what does this say about what the brain is doing?
I will also suggest that functional programmers are algebraists and OOP are more likely to be Analysts.
From day one a functional programmer is taught about disjoint unions, product types, and structural recursion on algebraic types. The more motivated (typically most via self selection) go on to learn all about initial algebras, monoids, monads and algebras in general. Functional Programmers are algebraists and not just by allusion.
Then we have OOP. I don't know how to place it since it is so broadly defined and is not as enamored with mathematics as functional programming tends to be. Hmm. Abstract Data types are very close to objects and are known to be coalgebraic - like objects from analysis. OOP also has abstract classes that are kind of like a final object.
Erlang is typically stacked with functional languages but is actually more co-algebraic and so closer to OOP. Which says something about OOP done right - I hope the OOP bashers don't throw the baby out with the bathwater.