[Prev][Next][Index][Thread]
Re: FD 2.0 is quite a tool! --long post
>From: Jason Trenouth <jason@harlequin.co.uk>
>Subject: Re: FD 2.0 is quite a tool! --long post
>
> I'm also trying to encourage a convention where false-or types are made
> explicit by combining the conventions for types and predicates as follows:
>
> define constant <thread-frame>? = false-or( <thread-frame> );
> define variable *display-thread-frame* :: <thread-frame>? = #f;
This is cool. Should that be <thread-frame?> ? The <> emphasize
classness, which should probably have higher precedence than precendence.
Also, people are used to typing the <> outside everything else, so this may
lead to more mis-types. Just thinking out loud. :-)
- Rob.
Follow-Ups: