[Ur] {}

Adam Chlipala adamc at impredicative.com
Wed Aug 31 07:37:54 EDT 2011


Gergely Buday wrote:
>> 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 {}
>
> ?
>    

They have the same meaning.  Lately I've come to prefer the latter, and 
to regret including the synonym [unit].



More information about the Ur mailing list