[Types-sig] New syntax?

Greg Stein gstein@lyra.org
Tue, 21 Dec 1999 12:19:22 -0800 (PST)

On Mon, 20 Dec 1999, Evan Simpson wrote:
> In one of the many messages I started composing for this SIG, then never sent,
> I mixed regexp-style notation into your ML-style declarations.  How's about:
> (T*) means T-tuple of unknown length, (T+) means length at least one, (T1?,
> T2{1,2}, T3) means optional T1 followed by one or two T2's and exactly one T3.
> This still requires (T,) for a single-T tuple, but all other uses are
> distinguishable from grouping.

An interesting approach, but it is a bit cryptic. Almost shades of
Perl...  :-)

But hey: I haven't offered a better approach, so who am I to say? :-)


Greg Stein, http://www.lyra.org/