3 ms·
Most engineering is based on mathematics because proofs are a powerful support for any idea you plan to implement. It's one thing to throw something together an
by Retra 7y ago
Most engineering is based on mathematics because proofs are a powerful support for any idea you plan to implement. It's one thing to throw something together and have it work, and a totally different thing to prove it is optimal in some way.
- eru 7y agoThat's seldom how ideas from category theory are used in practice. Eg most Haskell programs aren't proven correct. (But if you are into that kind of proving, than there are a languages a bit like Haskell, like Agda for example, that revel in those proofs.)