ah, I alluded to that with "ask the compiler". but yeah, types are great. Quickcheck is great too. But you'll have to pry my oracles from my cold dead hands. C

ah, I alluded to that with "ask the compiler". but yeah, types are great. Quickcheck is great too. But you'll have to pry my oracles from my cold dead hands. Computers show me over and over how stupid I am. Yeah, if I have a regression, I'm adding a specific test for that.