Re:Hard-to-swallow truths they won't tell you about software...
by EVa5I7bHFq9mnYK on Wednesday November 08, 2023 @08:21AM
(#38189943)
>> the only test the code had passed was "it compiles"
He might be really good at type systems!
Re:Hard-to-swallow truths they won't tell you about software...
by quickthrower2 on Wednesday November 08, 2023 @03:21PM
(#38196360)
With Haskell, if it compiles then it works. But not for the reason people think. If you spent the time learning Haskell, you probably are smart, conscientious and thought quite hard about your program.
That said type obsessed people invent things like property based tests (basically fuzzers for math people). They test the shit out of their code!
Surprisingly, it didn't work.