[racket-dev] Regular expression types [was Re: [racket-bug] all/14455: wrong type for hash]

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Sun Apr 20 15:05:04 EDT 2014

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

Posted on the dev mailing list.