Re:Why Reliability Demands Functional Programming
by saghm on Saturday December 27, 2025 @08:53PM
(#46407633)
Luckily these aren't exclusive! You can do all of those things with a strong type system as well, and get the benefits of all of them.
[ Parent
| on HN ]
Re:Why Reliability Demands Functional Programming
by rastrian on Saturday December 27, 2025 @10:49PM
(#46408225)
100%. Types don’t replace fuzzing, property tests, chaos, or adversarial thinking. They just move one slice of bugs from runtime to compile time and make refactors safer.
In hindsight I should have positioned types/ADTs as one layer in the reliability toolbox, not the toolbox.