[Axiom-developer] [Sandbox Curry]

[Bill Page]

Changes http://page.axiom-developer.org/zope/mathaction/SandboxCurry/diff
--

??changed:
-Using the compiler we can write:
Using the compiler we should be able to write:

??changed:
-MappingPackage3c(A:SetCategory, B:SetCategory, C:SetCategory):_
MappingPackage3c(A:SetCategory, B:SetCategory, C:SetCategory):

++added:
    NNI   ==>  NonNegativeInteger


??changed:
-        curryR:   ((A,B)->C) -> (B->(A ->C))
-        curryL:   ((A,B)->C) -> (A->(B ->C))
        rightCurry:   ((A,B)->C) -> (B->(A ->C))
        leftCurry:   ((A,B)->C) -> (A->(B ->C))

??changed:
-        fabc: (A,B)->C
-
-        curryR(fabc) == curryRight(fabc,#1)
-        curryL(fabc) == curryLeft(fabc,#1)
        Fabc: (A,B)->C

        rightCurry(Fabc) == curryRight(Fabc,#1)
        leftCurry(Fabc) == curryLeft(Fabc,#1)

??changed:
-
I do not understand this error message.

If this had worked we could have used it this way:

??changed:
-plusX:=curryL(plus)
plusX:INT->(INT->INT)
-- plusX:=leftCurry(plus)
--   should be the same as:
plusX(x) == curryLeft(plus,x)
plusX(1)(2) = plus(1,2)

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden