News for hackers. Stuff that matters.

A comment on Haskell is our first choice for building production software systems. Parent comment

Re: Haskell is our first choice for building production soft... by willtim on Monday January 11, 2021 @07:19AM (#25727934)
That is impossible with almost all non-trivial software. Testing proves only the presence of errors not their absence.
[ Parent | on HN ]
Re: Haskell is our first choice for building production soft... by neillyons on Monday January 11, 2021 @09:26AM (#25729171)
> Testing proves only the presence of errors not their absence.

I've never thought of it that way, but that totally makes sense.

[ Parent | on HN ]