Sam, Is there a reason you think there should not be Scribble forms for typed code/APIs? I think it would be good to communicate its typed-ness and have support for things like For Alls, (How are you going to communicate for-all-ness with pretend contracts?)
Jay On 2/27/12, Ray Racine <[email protected]> wrote: > @defthing works ok aswll. > > @defthing[AttributeName (U 'All 'SenderId 'SentTimestamp > 'ApproximateReceiveCount > 'ApproximateFirstReceiveTimestamp)]{ > A define-type of an enumeration of allowable code values ... > } > > > On Mon, Feb 27, 2012 at 2:39 PM, Sam Tobin-Hochstadt > <[email protected]>wrote: > >> On Mon, Feb 27, 2012 at 2:25 PM, Ray Racine <[email protected]> wrote: >> > In the vein of scribblings for various typed/racket idioms. >> > >> > How would you scribble a define-type. >> > e.g. >> > >> > (define-type AttributeReq (U 'All 'SenderId 'SentTimestamp >> > 'ApproximateReceiveCount 'ApproximateFirstReceiveTimestamp)) >> >> Something like this: >> >> @defidform[AttributeReg]{The type of possible attribute requests. >> Includes @racket['All], @racket['SenderId], and other stuff.} >> >> >> -- >> sam th >> [email protected] >> > -- Jay McCarthy <[email protected]> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93 ____________________ Racket Users list: http://lists.racket-lang.org/users
