On 2014-04-20 14:38:50 -0400, Matthias Felleisen wrote: > This might be one of those areas where we could 'generalize' gradual > typing.
I think we could do it without fundamentally changing anything about gradual typing. The issue is that uniform rest args assume that the type is always a `(Listof Foo)`. We could instead allow users to write down any type for the whole rest args list (classes take this approach for `init-rest`). While it's not a fundamental change, it's also not easy. It would also complicate the system and add more type syntax for a pretty modest benefit. (more important for classes which have weird initialization patterns) Cheers, Asumu _________________________ Racket Developers list: http://lists.racket-lang.org/dev
