[racket] typo in signatures?

From: Hendrik Boom (hendrik at topoi.pooq.com)
Date: Tue Oct 4 13:48:15 EDT 2011

On Tue, Oct 04, 2011 at 12:50:36PM -0400, Matthias Felleisen wrote:
> 
> For testing, you want to use check-within because check-expects fails. 
> 
> For real programming, you actually want to use inequality comparisons, 
> so that they see how to program with Doubles elsewhere. 
> 
> For teaching abstraction, you may ask why repeat all these (<= n x n+epsilon)
> everywhere. Oh, let's write inexact=? 

Not sure what inexact=? does.  What's needed is something like a 
three-argument function that tests |x-y| < epsilon.  Epsilon should 
not be implicit.

This can generalise to inexact points in any metric space, and the 
like.

-- hendrik


Posted on the users mailing list.