Re:Think in Math, Write in Code
by codr7 on Thursday July 18, 2019 @11:40AM
(#20470956)
But why? Having to sweet talk the compiler into simply reading/writing data by building towers of super abstract mathematical concepts doesn't look like a win from here. If that's the cure, I'll take the disease.
[ Parent
| on HN ]
The question was about expressing I/O as a mathematical concept (on paper), not about talking to compilers.
Haskell and others have pretty much proved it's possible in practice as well. But from my experience the cure is worse than the disease. Wishing that software was as formal as math is one thing. Pretending it is leads nowhere worth going.
I have most of my feet in the C++/Common Lisp camps these days. Where you accept that the world is a messy place with complex problems that don't fit neatly into labeled boxes, and use the most powerful tools you can think of to deal with it.