On Sun, Jan 25, 2009 at 8:00 AM, Jonathan Cast <[email protected]>wrote:
> On Sat, 2009-01-24 at 03:08 -0700, Luke Palmer wrote: > > On Sat, Jan 24, 2009 at 2:40 AM, Ryan Ingram <[email protected]> > > wrote: > > But _|_ is not (). > > > > Correction: _|_ is not always (). > > For example: in Haskell. > > Prelude> () `seq` True > True > Prelude> (undefined `asTypeOf` ()) `seq` True > *** Exception: Prelude.undefined Gee, I'm sure glad that I wrote that detailed analysis of what I meant. It's nice to see people responding to arguments rather than opinions for once. Luke
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
