Am 13.06.2008 um 09:35 schrieb Eduardo Cavazos: > On Friday 13 June 2008 01:33:08 Slava Pestov wrote: > >> Do you think it would be a good idea to put the || and && combinators >> in combinators.short-circuit? combinators.lib is getting large and >> disorganized. > > Sounds OK to me. > > You mentioned moving them into core. Do you still want to do that or > are they > candidates for basis?
I implemented a smart version of || consuming the all it's inputs. Each predicate is called with all parameters. The predicates may return more than one output as long as they all have the same stack effect. > So how do you feel about using smart > versions of these instead of the arity variants? I believe you once > mentioned > that the problem you see is that they'll only work with quotations > which are > inferable. They only worke with quotations which are inferable with accpetable performance but it's possible to implement a fallback using with- datastack. > So do you think we should be conservative and stick with the ones > we have now? I think they are worth the effort of implementing it, but i can imagine they will increase the compiletime because of the excessive use of infer but for immutable callables this problem is solvable by implementing a callable caching the infered stack effect. ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://sourceforge.net/services/buy/index.php _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
