[racket] Typed Racket frustration

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Wed Oct 29 13:50:52 EDT 2014

On 2014-10-29 13:39:33 -0400, Sam Tobin-Hochstadt wrote:
> The type of `hash` is one that comes up a bunch, and we should
> probably just add a few special cases that handle 2/4/6 arguments.
> Unfortunately, we don't yet have a mechanism for fully supporting the
> behavior of `hash`, and so there will be cases that work in untyped
> Racket but not in Typed Racket.

I have a branch that generalizes rest argument types to support this
kind of argument pattern. It works and the tests pass, but I'm still not
entirely happy with it:


If it's fixed up further it may get included.


Posted on the users mailing list.