integrate with the type system in Haskell,
I've considered returning something other than a pair from my base function
(such as a function) but I have yet to figure that out.
Thanks for your insights,
Ian Bloom
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
= (app (app2 f x y) z)
app4 f x y z w = (app (app3 f x y z) w)
-- Sample Terms
trmA = lam "x" (\x -> lam "y" (\y -> app x y))
trmB = lam "y" (\y -> app trmC y)
trmC = lam "c" (\c-> app2 (ext add_) c (ext (int_ 1)))
trmD = (ext (int_ 3))
trmE
mple of this is available here:
http://hpaste.org/86273
And with source candy here:
http://hpaste.org/86274
My goal at this point is just to understand the problem better. I feel I'm
at the edge of my understanding of type systems and arity and I'm unsure if
what I want to do is possible in