[racket-dev] Typed versions of untyped collections

On Dec 17, 2012, at 12:59 AM, Neil Toronto wrote:

> On 12/16/2012 06:41 PM, Eli Barzilay wrote:
>> 10 minutes ago, Neil Toronto wrote:
>>> I think I'd rather have a convention in Typed Racket that (require foo)
>>> imports `foo/typed' when it exists.
>> 
>> +14.  I think it came up in the past, but I don't know why it wasn't
>> done...
> 
> No consensus? That happens a lot.


It has serious performance implications for untyped modules that require plot -- and these should not be hidden. 

I know we hide bigint operations but is this an excuse to hide such problems pervasively? W/o support? 

-- Matthias