Posted: Mar 10, 2012 11:57 am
by VazScep
stalidon wrote:Just wait, the philosophy is coming. From Wiki: "Lambda calculus has applications in many different areas in mathematics, philosophy, and computer science."
I originally mentioned lambda calculus and Haskell to simultaneously give a semantics to existential quantifiers in logic and to models of axiomatic theories in mathematics, the latter having been brought up by someone wondering what models are in science.

I'd say there is plenty of philosophy in programming language design. You're trying to come up with a language for (computationally) modelling just about anything in the world you might be interested in. Just by considering ML references, we can mirror the whole conversation in the philosophy of language concerning referential opacity, sense versus reference, use-versus mention and context.

I consider it a boon that the whole conversation is tethered to engineering concerns. It makes sure we don't go floating away into the clouds of vacuous wibble.