To elaborate on Ian's answer, TR can't use 'x' from the function formals because x isn't in scope. So it has to use some other way of saying '0th' argument, '1st' '2nd' etc.
On Oct 18, 2012, at 6:50 PM, Jordan Johnson wrote: > Hi all, > > I'm puzzled by this cryptic notation in Typed Racket (copied from the docs): > > (λ: ([x : Number]) x) > - : (Number -> Number : ((! False @ 0) | (False @ 0)) (0)) > > > What does the "@ 0" mean? I have searched all of the TR doc pages, but I see > no explanation. > > Thanks, > jmj > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users
smime.p7s
Description: S/MIME cryptographic signature
____________________ Racket Users list: http://lists.racket-lang.org/users
