I am exploring the topic of constructivism from discreet math, and think it is related to object oriented programming. Can anyone confirm or deny the two are related?
Asked
Active
Viewed 116 times
1
-
what exactly do you mean by "constructivism"? it's a fairly broad term. – mobileink Nov 15 '16 at 22:14
-
1Some of the history is discussed under Was object oriented programming influenced by the mathematical category theory? Early developments in object oriented programming were influenced by the lambda calculus, there are also parallels to Martin-Löf's constructivist type theory. – Conifold Nov 16 '16 at 18:59