News for hackers. Stuff that matters.

A comment on Why Haskell Is Important. Parent comment

Re:Why Haskell Is Important by zzzcpan on Sunday September 08, 2019 @08:39AM (#20910187)
Functional languages don't establish invariants, invariants is an abstract math concept and math way of thinking. Side-effects, on the other hand, have an important place in programming and CS.
[ Parent | on HN ]
Re:Why Haskell Is Important by kazinator on Sunday September 08, 2019 @10:50AM (#20910876)
If you can't make hordes of side-effects sit up and beg, in a large, complicated program, you can't call yourself a computer scientist or developer.
[ Parent | on HN ]
Re:Why Haskell Is Important by rocqua on Sunday September 08, 2019 @03:36PM (#20912858)
The functional notation really helps to establish a variant. In fact, most proofs of correctness for imperative programs essentially consider e.g. the body of a for loop to be a function.
[ Parent | on HN ]