[plt-scheme] Questions about contracts

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Apr 16 18:55:07 EDT 2007

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,  

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

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

-- Matthias

Posted on the users mailing list.