[racket] (Math) Computing the mean is slow in Typed Racket

From: Neil Toronto (neil.toronto at gmail.com)
Date: Fri Feb 8 13:37:47 EST 2013

On 02/08/2013 09:04 AM, Sam Tobin-Hochstadt wrote:
> On Fri, Feb 8, 2013 at 11:00 AM, Neil Toronto <neil.toronto at gmail.com> wrote:
>> Another option is to do something with Typed Racket to get rid of this type
>> error, which makes the cast necessary:
>>    Type Checker: Expected (Listof Real), but got
>>    (U (Listof Real) (Pairof Any (Listof Any)))
>> I don't know why it does this, but there might be a good reason. Vincent?
> The behavior of `list?` is not right -- something needs to be changed
> so that it doesn't cause the type system to forget what it previously
> knew.

Thanks. I'll submit a bug report.

Neil ⊥

Posted on the users mailing list.