4 ms·
There is other big connection between math and programming, which article completely ignores - functional programming (from the mathematical side it corresponds
by js8 10y ago
There is other big connection between math and programming, which article completely ignores - functional programming (from the mathematical side it corresponds to various lambda calculi).
Interestingly, lambda calculus is a different language (syntactically) for mathematics than classical logic, so the connection is not obvious.
I think programming will eventually become more mathematical, due to this connection.
- noelwelsh 10y agoNo idea why this is downvoted. If you are a functional programmer you can lean on maths all day, and get wonderful correctness guarantees for your programs. The maths is typically very simple algebra, but it's there.
- eric_bullington 10y ago> functional programming (from the mathematical side it corresponds to various lambda calculi) And category theory, in the case of Haskell. (and yes, to work with Haskell at a basic level, category theory isn't required. But as someone who is learning the basics of category theory, it sure helps understand the "why" behind a lot of things if you move to a more advanced level.)