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.toro...@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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev
