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.


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.

Reply via email to