[Haskell-cafe] Announcing OneTuple-0.1.0

[Brandon S. Allbery KF8NH]

On 2008 Oct 2, at 19:00, Jason Dagit wrote:
> On Thu, Oct 2, 2008 at 2:46 PM, Jason Dusek <jason.dusek at gmail.com>  
> wrote:
> John Dorsey <haskell at colquitt.org> wrote:
> >  Now you can:
> > *  Solve any of the software problems that cannot be solved without
> >    the singleton tuple !
>
>  What would those be? I'm still trying to figure out how a
>  singelton tuple is really distinct from a plain value.
>
> Careful when making (or not making) this distinction.  It could lead  
> to infinite types such as, a = OneTuple a.


As for the difference, doesn't the tuple have an additional _|_  
compared to a direct value?  _|_, (_|_,), (value,).

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081002/f5d0f7b1/attachment.htm