4 ms·
> If only my bugs were as simple as the methods reverse, concat, and index... When I first read about QuickCheck, I had similar reaction. But then I learned t
by mavelikara 10y ago
> If only my bugs were as simple as the methods reverse, concat, and index...
When I first read about QuickCheck, I had similar reaction.
But then I learned that QuickCheck can test stateful systems also. For example, this bug reported against LevelDB, a database system developed at Google, was discovered using QuickCheck: https://github.com/google/leveldb/issues/50 https://github.com/google/leveldb/issues/50. You can read more about it at http://htmlpreview.github.io/?https://raw.github.com/strangeloop/lambdajam2013/master/slides/Norton-QuickCheck.html http://htmlpreview.github.io/?https://raw.github.com/strange...
- taeric 10y agoThese links are awesome. More examples of real world successes go a long way to not just impressing with technical ability, but convincing of practical use. That is quick check impresses me. I just haven't seen many real world examples of it providing significant value. And I no longer buy in to appealing arguments. :(
- querulous 10y agothis might be of interest: https://medium.com/@jlouis666/breaking-erlang-maps-1-31952b8729e6#.90i0j6asc https://medium.com/@jlouis666/breaking-erlang-maps-1-31952b8...