[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Sandbox Curry] (new)
From: |
Bill Page |
Subject: |
[Axiom-developer] [Sandbox Curry] (new) |
Date: |
Thu, 07 Jul 2005 05:28:35 -0500 |
Changes http://page.axiom-developer.org/zope/mathaction/SandboxCurry/diff
--
Using the compiler we can write:
\begin{axiom}
)abbrev package MAPPK3C MappingPackage3c
++ Description: Higher-order Currying operations.
MappingPackage3c(A:SetCategory, B:SetCategory, C:SetCategory):_
MPcat == MPdef where
MPcat == with
curryR: ((A,B)->C) -> (B->(A ->C))
curryL: ((A,B)->C) -> (A->(B ->C))
MPdef == add
MappingPackage3(A, B, C)
fabc: (A,B)->C
curryR(fabc) == curryRight(fabc,#1)
curryL(fabc) == curryLeft(fabc,#1)
\end{axiom}
\begin{axiom}
plus:(INT,INT)->INT
plus(x,y) == x+y
plusX:=curryL(plus)
\end{axiom}
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [Sandbox Curry] (new),
Bill Page <=