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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Apr 20 14:38:50 EDT 2014

This might be one of those areas where we could 'generalize' gradual typing. 

On Apr 19, 2014, at 7:37 PM, Sam Tobin-Hochstadt wrote:

> On Sat, Apr 19, 2014 at 7:24 PM, Neil Toronto <neil.toronto at gmail.com> wrote:
>> Are there type systems that can? It seems like you could specify this type
>> and similar ones using regular expressions.
> There is lots of work on types for XML specification that can handle
> this sort of thing, I believe, but not specifically in the context of
> function arguments.
> Note that TR can handle alternating types just fine in lists, for
> example -- it's just that the function argument sequence is different.
> Sam
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev

Posted on the dev mailing list.