Hooray!
On Mon, May 31, 2010 at 5:34 PM, Gabriel Dos Reis <g...@cs.tamu.edu> wrote:
>
> Hi,
>
> OpenAxiom-1.4.x (trunk) now has support for alternative syntax for
> unnamed functions in the library. Previously, on has to write
>
> f(#1,#2 + #1)
>
> for a binary function that applies 'f' to its first argument and the sum
> of the second and first arguments. Now, one can also use the
> interperter style syntax:
>
> (x,y) +-> f(x, y + x)
>
> In particular, one can now construct niladic unnamed functions (which
> was previously impossible in library)
>
> () +-> output("Hi!"::OutputForm)
>
> -- Gaby
>
> ------------------------------------------------------------------------------
>
> _______________________________________________
> open-axiom-devel mailing list
> open-axiom-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
>
------------------------------------------------------------------------------
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
