[Ur] {}

Gergely Buday gbuday at gmail.com
Wed Aug 31 02:57:01 EDT 2011


> Yes, though I'd say it the other way: [unit] is a synonym for [{}], which is
> just a degenerate instance of the syntax for record types.  (I lifted this
> convention directly from SML.)

And, is there any reason to use either over the other in signatures, like

transaction unit

and

transaction {}

?

- Gergely



More information about the Ur mailing list