<br><div class="gmail_quote">On Sun, Jan 25, 2009 at 7:11 AM, Jonathan Cast <span dir="ltr">&lt;<a href="mailto:jonathanccast@fastmail.fm">jonathanccast@fastmail.fm</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="Wj3C7c">On Sun, 2009-01-25 at 10:46 +0100, Thomas Davie wrote:<br>
&gt; On 25 Jan 2009, at 10:08, Daniel Fischer wrote:<br>
&gt;<br>
&gt; &gt; Am Sonntag, 25. Januar 2009 00:55 schrieb Conal Elliott:<br>
&gt; &gt;&gt;&gt; It&#39;s obvious because () is a defined value, while bottom is not -<br>
&gt; &gt;&gt;&gt; per<br>
&gt; &gt;&gt;&gt; definitionem.<br>
&gt; &gt;&gt;<br>
&gt; &gt;&gt; I wonder if this argument is circular.<br>
&gt; &gt;&gt;<br>
&gt; &gt;&gt; I&#39;m not aware of &quot;defined&quot; and &quot;not defined&quot; as more than informal<br>
&gt; &gt;&gt; terms.<br>
&gt; &gt;<br>
&gt; &gt; They are informal. I could&#39;ve written one is a terminating<br>
&gt; &gt; computation while<br>
&gt; &gt; the other is not.<br>
&gt;<br>
&gt; Is that a problem when trying to find the least defined element of a<br>
&gt; set of terminating computations?<br>
<br>
</div></div>Yes. &nbsp;If you&#39;ve got a set of terminating computations, and it has<br>
multiple distinct elements, it generally doesn&#39;t *have* a least element.<br>
The P in CPO stands for Partial.<br>
<br>
jcc</blockquote><div><br>and this concern does not apply to ()&nbsp; .<br><br></div></div>