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
