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?
2
-
$\begingroup$ what exactly do you mean by "constructivism"? it's a fairly broad term. $\endgroup$– mobileinkNov 15, 2016 at 22:14
-
1$\begingroup$ Some 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. $\endgroup$– ConifoldNov 16, 2016 at 18:59
Add a comment
|