[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Tuples Products And Records] links updated after rena
From: |
Bill Page |
Subject: |
[Axiom-developer] [Tuples Products And Records] links updated after rename |
Date: |
Thu, 07 Jul 2005 09:22:25 -0500 |
Changes
http://page.axiom-developer.org/zope/mathaction/TuplesProductsAndRecords/diff
--
??changed:
-What we need is a function
What we need is are the functions:
++added:
)set functions compile on
++added:
rightCurry:((INT,INT)->INT)->(INT->(INT->INT))
rightCurry(f)== y+->(x+->f(x,y))
??changed:
-But the Axiom interpreter is not able compile this function.
-
-See [SandBox Curry] for more attempts to define this in Axiom.
The option ')set functions compile on' is required for the Axiom
interpreter to able to successfully compile this function. See #156
\begin{axiom}
plus:(INT,INT)->INT
plus(x,y) == x+y
curryPlus:=leftCurry(plus)
curryPlus1:=curryPlus(1)
curryPlus1(2)
\end{axiom}
See [SandBox Curry] for an attempt to define left and right Curry
as an Axiom library functions.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden