[racket-dev] Typed Racket and importing polymorphic code

The problem isn't that you can't contract base values, the problem
is that they are checked when the values crosses the boundary and
that's that. It's too eager. 

Matthew added chaperons a while back and we will use those to 
change the world. Perhaps. 



On Aug 2, 2010, at 1:18 PM, Shriram Krishnamurthi wrote:

> Arjun just pointed out to me that the inability to contract base
> values can lead to much harder-to-understand problems in higher-order
> contexts.  (Not surprising, but I hadn't thought that that would make
> it much worse.)