[plt-scheme] Questions about contracts

From: Chongkai Zhu (czhu at cs.utah.edu)
Date: Mon Apr 16 19:01:10 EDT 2007

----- Original Message ----- 
From: "Matthias Felleisen" <matthias at ccs.neu.edu>
To: "Henk Boom" <lunarc.lists at gmail.com>
Cc: <plt-scheme at list.cs.brown.edu>
Sent: Monday, April 16, 2007 4:55 PM
Subject: Re: [plt-scheme] Questions about contracts


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

Sorry, but I tried our contract system with higher-order functions recently, 
and doesn't feel that it works in general cases.

Chongkai




Posted on the users mailing list.