suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add more documentation for Procedure type

Browse Source 
Please merge to v6.0

original commit: 1243d12248214d8e261a0496f273fe1ea7127e28
This commit is contained in:
Asumu Takikawa 2013-12-07 22:57:53 -05:00
parent 287bb05db9
commit 11aeb527f3
1 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
View File

@ -513,7 +513,21 @@ functions and continuation mark functions.
(is-zero? 2 #:equality =)
(is-zero? 2 #:equality eq? #:zero 2.0)]}
@defidform[Procedure]{is the supertype of all function types.}
@defidform[Procedure]{is the supertype of all function types. The @racket[Procedure]
type corresponds to values that satisfy the @racket[procedure?] predicate.
Because this type encodes @emph{only} the fact that the value is a procedure, and
@emph{not} its argument types or even arity, the type-checker cannot allow values
of this type to be applied.
For the types of functions with known arity and argument types, see the @racket[->]
type constructor.
@ex[
(: my-list Procedure)
(define my-list list)
(my-list "zwiebelkuchen" "socca")
]
}
@defform[(U t ...)]{is the union of the types @racket[t ...].