[Types-sig] New syntax?

[Greg Stein]

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? :-)

Cheers,
-g

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