<br><br><div class="gmail_quote">On Tue, Dec 20, 2011 at 8:46 PM, Ben Lippmeier <span dir="ltr"><<a href="mailto:benl@ouroborus.net">benl@ouroborus.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><br>
On 20/12/2011, at 6:06 PM, Roman Cheplyaka wrote:<br>
<br>
> * Alexander Solla <<a href="mailto:alex.solla@gmail.com">alex.solla@gmail.com</a>> [2011-12-19 19:10:32-0800]<br>
>> * Documentation that discourages thinking about bottom as a 'value'. It's<br>
>> not a value, and that is what defines it.<br>
><br>
> In denotational semantics, every well-formed term in the language must<br>
> have a value. So, what is a value of "fix id"?<br>
<br>
</div>There isn't one!<br>
<br>
Bottoms will be the null pointers of the 2010's, you watch.<br></blockquote><div><br></div><div>This ×1000. Errors go in an error monad.<br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
Ben.<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>