5 ms·

I program in Standard ML everyday, and I don't get an “elevated heart rate” when I see something that can't be proved with a type checker. I just prove it by ha

I program in Standard ML everyday, and I don't get an “elevated heart rate” when I see something that can't be proved with a type checker. I just prove it by hand. But maybe the typical Haskell programmer is not a good enough mathematician, who knows.

tome 9y ago
> But maybe the typical Haskell programmer is not a good enough mathematician, who knows. Gloves off, boys and girls.