[<<][meta_siso][>>][..]
Fri Aug 14 19:47:53 EDT 2015

Pair

If it's so easy to translate between (r (a, b)) and (r a, r b), why
should I have to?

Somehow it seems that the plumbing necessary to pack/unpack between
these two can be avoided.

EDIT:

The difference is visible in Eval quite clearly:
[(a,b)] is not the same as ([a],[b]).

The former definitely seems more appropriate.

What about this:
- internally, use currying and tupling
- externally: curry and pair input/output

This is about "canonical forms".  Do this automatically.




[Reply][About]
[<<][meta_siso][>>][..]