If someone hasn’t already done this, I’ve got a few CS Ed papers for sure….
I’m looking at Python now, but this should be much easier in Racket: I’d like to put together a simple syntax for unenforced data definitions and signatures, then use instructor help to map these to course-specific quickcheck modules, allowing students to easily find input values on which their functions produce the wrong (i.e., not matching signature) kinds of values, even for functions that aren’t specifically described by instructors. Has someone done it already? I found “Hypothesis” for Python, which looks quickcheck-like but doesn’t use PEP 484. I don’t know of anything like this in the Racket world, where it should literally be the work of a weekend. I see how it could be seen to undercut test case generation, except that (by generating only inputs) it could also *simplify* the task of specifying test cases. John -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
