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
same thing as (: v t).

> Also how would I go about fashioning a subrange type a la Pascal?

Typed Racket doesn't currently support things exactly like Pascal's
subranges. We're working on extensions that will support that, but
they aren't ready yet.

Sam

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[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 go about fashioning a subrange type a la Pascal?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.