On 2008 Oct 2, at 19:00, Jason Dagit wrote:
On Thu, Oct 2, 2008 at 2:46 PM, Jason Dusek <[EMAIL PROTECTED]>
wrote:
John Dorsey <[EMAIL PROTECTED]> 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] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university KF8NH
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
