[racket] Contracts and submodules

From: Ray Racine (ray.racine at gmail.com)
Date: Fri Nov 30 17:04:38 EST 2012

Why not make this explicit by deprecating define/contract and support this
use case with a submodule.  They lightweight enough and makes boundary
demarcations consistent, explicit and simple.  Module -> boundary.
On Nov 30, 2012 12:05 PM, "Matthias Felleisen" <matthias at ccs.neu.edu> wrote:

>
> On Nov 30, 2012, at 10:15 AM, Greg Hendershott wrote:
>
> >> This is a complete misunderstanding.
> >
> > Sometimes I feel like a kid in the room while the adults are talking.
> > When it comes to contracts, I have to stipulate that most of you are
> > smarter than me and have thought about this longer than me.
>
>
> Apologies. My opening wasn't meant to say "I am smarter" but I wanted
> to send a strong message about define/contract. It really introduces a
> boundary and in some strange sense your (possibly misleading)
> microbenchmark
> exposes this constraint too.
>
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121130/0d9e314c/attachment.html>

Posted on the users mailing list.