Thanks. I see the type hint syntax is close to Haskell's. Excellent!
Cheers,
Andrew Pennebaker
www.yellosoft.us
On Wed, Aug 24, 2011 at 6:36 PM, Joe Groff <arc...@gmail.com> wrote:
>
> On Aug 24, 2011, at 3:16 PM, Slava Pestov wrote:
>
> Hi Andrew,
>
> You're using the old convention (from handbook.pdf? :-) ) Please
> review recent docs:
>
> http://docs.factorcode.org/content/article-inference.html
> http://docs.factorcode.org/content/article-effects.html
>
>
> Even I'm having trouble finding a straightforward answer to this in those
> docs. More to the point, the modern syntax for higher-order stack effects is
> ( name: ( nested -- effect ) -- ). For example:
>
> : foo ( a b quot: ( a b -- c d e ) -- c d e )
> call ;
> : bar ( a b quot1: ( a b -- c d e ) quot2: ( c d e -- f ) -- f )
> [ call ] bi@ ;
>
>
> -Joe
>
>
> ------------------------------------------------------------------------------
> EMC VNX: the world's simplest storage, starting under $10K
> The only unified storage solution that offers unified management
> Up to 160% more powerful than alternatives and 25% more efficient.
> Guaranteed. http://p.sf.net/sfu/emc-vnx-dev2dev
> _______________________________________________
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
------------------------------------------------------------------------------
EMC VNX: the world's simplest storage, starting under $10K
The only unified storage solution that offers unified management
Up to 160% more powerful than alternatives and 25% more efficient.
Guaranteed. http://p.sf.net/sfu/emc-vnx-dev2dev
_______________________________________________
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk
