[racket-dev] Release Announcement for v5.0.1 -- final version
Eli Barzilay <eli at barzilay.org> writes:
> I don't know of any plan for signatures, but if it would be bad to
> advertise it if it's not included... Jay/Ryan--??
Signatures are already in there (look in the log in collects/lang) -
they're just not documented yet. They already give you this, for
example:
(define-struct foo (a b))
(define-struct bar (c d))
(define foo-or-bar
(signature (mixed foo bar)))
At the very least, `define-datatype' should also define a signature.
--
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla