[plt-scheme] testing modules

On Jun 6, 2006, at 8:02 AM, Noel Welsh wrote:

> --- Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
>> The HtDP style of testing is natural for FP

> Agreed.  My point, which perhaps I should have either
> elaborated or elided, is that this sort of testing doesn't
> scale. ...................... For teaching, when students
> are working on the small scale (~1 file), HtDP style is the
> right choice.  For other contexts the right choice may be
> different.

Let me nitpick. The choice of "scale" is wrong here. Something is said 
to be scalable if there is a natural growth part from A to B. While I 
haven't done it, I can easily imagine teaching that

  (= (f 10) 11)

should really read

  (check = (f x) 11)

which should really read

  (test-equal = (f x) 11)

and so on. I can't imagine doing this in a course that starts with 
writeln("hello world").

-- Matthias