[plt-scheme] Questions about contracts

On Apr 16, 2007, at 12:37 AM, Henk Boom wrote:

> I'm trying to get a hang of the PLT contracts system. Coming from
> Eiffel, it feels a little awkward.

This is a fair criticism, especially since we haven't gotten around  
to implementing class contracts yet. You should understand, however,  
that

  (1) unlike Eiffel's, our contract system is sound
  (2) unlike Eiffel's, our contract system copes with higher-order  
functions.

(BTW, I do use modules and structures to implement the kind of  
contracts that you wish to have all the time.)

-- Matthias