Slava Pestov wrote:
> The third is predicate classes:
>
> TUPLE: pig weight ;
> PREDICATE: underweight-pig weight>> 300 < ;
>   
I am a newbie in Factor but I think it should be:

PREDICATE: underweight-pig < pig weight>> 300 < ;

but as 'my 2 cents' idea, it could be nice to be able to write the first.
We may have something like:
PREDICATE: special-something ... ;
without inheritance symbol < in this case. Doing so, this may expand
to 'special-something < something' according to some conventions.
(a bit tricky maybe?!)

> pig new 250 >>weight pig? . => t
> pig new 250 >>weight underweight-pig? . => t
>   

Kindest Regards,

--
Martial



------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay 
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk

Reply via email to