[Haskell-cafe] Announcing OneTuple-0.1.0
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Thu Oct 2 21:05:50 EDT 2008
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>
> 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...
More information about the Haskell-Cafe