At 07:43 AM 10/26/1999 -0700, Douglas Crockford wrote:
>> [#] If we're really talking about guards, then ":" only seems natural.
>>
>> define square(x : int) : int { x * x }
>
>I like this notation a lot.
[#] I think I would like consistancy as to where the guard is specified. For example:
define square(int : x) int : { x * x }