On Sun, Jan 25, 2009 at 8:00 AM, Jonathan Cast <span dir="ltr"><<a href="mailto:jonathanccast@fastmail.fm">jonathanccast@fastmail.fm</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">On Sat, 2009-01-24 at 03:08 -0700, Luke Palmer wrote:<br>
> On Sat, Jan 24, 2009 at 2:40 AM, Ryan Ingram <<a href="mailto:ryani.spam@gmail.com">ryani.spam@gmail.com</a>><br>
> wrote:<br>
> But _|_ is not ().<br>
><br>
> Correction: _|_ is not always ().<br>
<br>
</div>For example: in Haskell.<br>
<br>
Prelude> () `seq` True<br>
True<br>
Prelude> (undefined `asTypeOf` ()) `seq` True<br>
*** Exception: Prelude.undefined</blockquote><div><br>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.<br><br>
Luke<br></div></div>