[Haskell-cafe] Announcing OneTuple-0.1.0
lennart at augustsson.net
Fri Oct 3 16:11:11 EDT 2008
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.
On Fri, Oct 3, 2008 at 6:07 PM, Jason Dusek <jason.dusek at gmail.com> wrote:
> Lennart Augustsson <lennart at 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.
More information about the Haskell-Cafe