[plt-scheme] Questions about (contract ...) form

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Nov 6 19:31:47 EST 2005

On Nov 6, 2005, at 4:10 PM, Robby Findler wrote:

> Overall, I suspect the problem is that we don't have a good story for
> contracts+macros. Sounds like a nice research topic to me!
> To avoid the problem and make progress, just stick a dynamic check into
> the expansion of the stream-cons macro and move on.

People should understand of course that the purpose of a contract is to 
eliminate such random dynamic checks (assertions) from procedures 
(code) and to push them into the interface so that the consumers know 
what to expect and what to deliver. -- Matthias

Posted on the users mailing list.