3 ms·
>> the only test the code had passed was "it compiles" He might be really good at type systems!
by EVa5I7bHFq9mnYK 3y ago
>> the only test the code had passed was "it compiles"
He might be really good at type systems!
- quickthrower2 3y agoWith 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!
- guappa 3y agoIf you call "void*" a type :D