Re: [racket-users] typed racket syntax

2016-04-15 Thread Sam Tobin-Hochstadt
On Fri, Apr 15, 2016 at 1:16 PM, Rusi Mody wrote: > Racket being a lisp its fine that we write > (: v t) > where the rest of the world writes > v : t > > But what is > (: v : t) > > ?? > A bit be-fuddled? Sometimes, it reads more nicely using the second form. It means the

[racket-users] typed racket syntax

2016-04-15 Thread Rusi Mody
Racket being a lisp its fine that we write (: v t) where the rest of the world writes v : t But what is (: v : t) ?? A bit be-fuddled? ref: https://docs.racket-lang.org/ts-reference/special-forms.html#%28form._%28%28lib._typed-racket%2Fbase-env%2Fprims..rkt%29._~3a%29%29 Also how would I