The lines are from http://pre.racket-lang.org/docs/html/reference/booleans.html section 3.1
The lines are: (boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))> v) → boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))> v : any/c<http://pre.racket-lang.org/docs/html/reference/Data-structure_Contracts.html#(def._((lib._racket/contract/private/misc..rkt)._any/c))> Question 1 The result (boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))> v) is a boolean. Why is it not (boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))> v) → boolean instead of (boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))> v) → boolean?<http://pre.racket-lang.org/docs/html/reference/booleans.html#(def._((quote._~23~25kernel)._boolean~3f))> ? Question 2 If v can be anything, why not just use any instead of using any/c<http://pre.racket-lang.org/docs/html/reference/Data-structure_Contracts.html#(def._((lib._racket/contract/private/misc..rkt)._any/c))> ? Question 3 What does / and c mean? BTW, did I missed the definition of / and c? I have not read the entire document. Thanks a lot.
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
