[racket-dev] syntax/syntax proposal

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Jun 21 11:42:58 EDT 2012

On Jun 21, 2012, at 11:26 AM, Eli Barzilay wrote:

> I don't see how that would help -- you'll still get the same errors.

Ouch. That's again a misunderstanding of contracts. 

The idea is that contracts specify in interfaces what is expected, not deep inside some code. 

Posted on the dev mailing list.