[Haskell-cafe] Announcing OneTuple-0.1.0

[Luke Palmer]

On Fri, Oct 3, 2008 at 8:32 PM, Tim Chevalier <catamorphism at gmail.com> wrote:
> On Fri, Oct 3, 2008 at 7:24 PM, Luke Palmer <lrpalmer at gmail.com> 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