Re: [Haskell-cafe] Announcing OneTuple-0.1.0

On 2008 Oct 2, at 19:00, Jason Dagit wrote:

On Thu, Oct 2, 2008 at 2:46 PM, Jason Dusek wrote: John Dorsey 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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH