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

From: Sam Tobin-Hochstadt (samth at cs.indiana.edu)
Date: Sat Apr 19 19:37:13 EDT 2014

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

Posted on the dev mailing list.