[Types-sig] Interface files

[Martijn Faassen]

Paul Prescod wrote:
> 
> Martijn Faassen wrote:
> >
> > * we don't have to debate about syntax anymore and can actually think
> > about
> >   semantics without syntax confusion.
> 
> Clean syntax helps comprehension.

5 syntaxes with uncertain semantics destroy comprehension. We won't know
semantics until implementation. It's tough to design a nice syntax
before you have tested your semantics. Then again, perhaps one of the
syntaxes will blow me away and I'll relent. :)

Regards,

Martijn