4 Oct
2008
4 Oct
'08
4:11 a.m.
But (a) is not a lifted version of a, whereas (a,b) is a lifted version of the a b product. So it's not consistent, and thereby wrong. -- Lennart On Fri, Oct 3, 2008 at 6:07 PM, Jason Dusek <jason.dusek@gmail.com> wrote:
Lennart Augustsson <lennart@augustsson.net> wrote:
Let me pick one example. Let's make a class that can convert between tuples and lists.
-- XXX This doesn't work, and is just wrong. -- instance TupleList (a) [a] where -- tupleToList (a) = [a] -- listToTuple [a] = (a)
It's not clear to me what is so "wrong" about it. If the 1-ary tuple is the 1-ary product, it makes sense.
-- _jsn