Re: [Haskell-cafe] Announcing OneTuple-0.1.0

On Fri, Oct 3, 2008 at 8:32 PM, Tim Chevalier wrote:

On Fri, Oct 3, 2008 at 7:24 PM, Luke Palmer wrote:

...

Well, unboxed tuples are not really lifted nor unlifed, since you can't even pass one to a function.

It's true that unboxed tuples are not first-class. But what I mean by "unlifted" is that the type (# Int, Int #), when interpreted as a set, does not contain _|_ as an element (and I'm purposely conflating the unlifted/liftedness distinction with the unboxed/boxness distinction here). Is that what you mean, or do you mean something else?

Yeah kind of, because if it doesn't contain _|_ as an element, then it's not even a domain! :-)

...

I like to pretend tuples are unlifted. Here's how I do it:

Sure. But the compiler won't check that assumption for you. I don't know whether that has anything to do with the original question, though :-)

Nobody's questions are original. Luke