wanted to explain quickcheck to a coworker. what's a good tutorial for someone who knows ruby? I know of https://docs.rs/proptest (which is suuuuper good) but it's hard to parse new language syntax and semantics along with a new concept
-
-
Replying to @killercup
I usually show people this example: https://github.com/datrs/random-access-disk/blob/master/tests/model.rs …. Explaining how a file can be modelled as a vector, and showing how in this code we fill both and compare every step. Got some slides for a presentation I gave a few weeks ago too: https://github.com/datrs/random-access-disk/blob/master/tests/model.rs …
1 reply 0 retweets 0 likes -
Replying to @yoshuawuyts @killercup
Neither of this is much of a tutorial; but it's similar to what made it click for me. (s/o to
@sadisticsystems here). Also explaining how once you find an error you want to create an entry in a "http://regressions.rs " file might be helpful. Quickcheck is manual, Proptest auto.1 reply 0 retweets 0 likes -
Replying to @yoshuawuyts @sadisticsystems
thanks! not sure if a code deep dive is helpful at this stage, but i'd love see your slides :) (I think you meant to link to them?)
1 reply 0 retweets 1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.