I&#39;ve updated the tutorial to say &quot;doesn&#39;t return&quot; rather than &quot;doesn&#39;t&quot;<div><br></div><div>Jay<br><br><div class="gmail_quote">2011/6/13 Rodolfo Carvalho <span dir="ltr">&lt;<a href="mailto:rhcarvalho@gmail.com">rhcarvalho@gmail.com</a>&gt;</span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Ok, now I get what it means.<div><br></div><div>Still, it feels confusing in the way that it&#39;s written.</div><div>
<br></div><div>[]&#39;s</div><div><br clear="all"><font color="#888888">Rodolfo Carvalho</font><div><div></div><div class="h5"><br>
<br><br><div class="gmail_quote">On Mon, Jun 13, 2011 at 20:55, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


<div style="word-wrap:break-word"><div><br></div><div>The author tried to say it doesn&#39;t return. </div><div><br></div><div>In a Racket-like context, the author could have specified </div><div><br></div><div> ;; render-blog-page : request -&gt; ∅</div>


<div><br></div><div>Since there are no elements in the emptyset, this specification says the same thing mathematically, using Racket&#39;s `types as sets&#39; standard form of loose reasoning. I doubt it would have been more easily understood. </div>


<div><br></div><div>An MLer could have said α again because it is impossible to return something of this type if the function&#39;s domain isn&#39;t specified as such. Would this help? </div><div><br></div><font color="#888888"><div>


-- Matthias</div><div><br></div><div><br></div><div><br></div><br></font><div><div><div></div><div><div>On Jun 13, 2011, at 5:13 PM, Rodolfo Carvalho wrote:</div><br></div></div><blockquote type="cite"><div><div>

</div><div>Hi,<div><br></div><div>I&#39;m reading the <a href="http://docs.racket-lang.org/continue/" target="_blank">User Guide: Continue</a> and I&#39;m puzzled with some contracts that reads:</div><div><br>
</div>
<blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204, 204, 204);border-left-style:solid;padding-left:1ex">

<span style="font-family:serif;font-size:medium"><table cellspacing="0"><tbody><tr><td style="padding-left:0px;padding-right:0px;vertical-align:baseline">

<span style="font-family:monospace;color:rgb(194, 116, 31)">;</span><span style="font-family:monospace;color:rgb(194, 116, 31)"> </span><span style="font-family:monospace;color:rgb(194, 116, 31)">render-blog-page: request -&gt; doesn</span><span style="font-family:monospace;color:rgb(194, 116, 31)">&#39;</span><span style="font-family:monospace;color:rgb(194, 116, 31)">t</span></td>




</tr><tr><td style="padding-left:0px;padding-right:0px;vertical-align:baseline"><span style="font-family:monospace;color:rgb(194, 116, 31)">;</span><span style="font-family:monospace;color:rgb(194, 116, 31)"> </span><span style="font-family:monospace;color:rgb(194, 116, 31)">Produces an doesn</span><span style="font-family:monospace;color:rgb(194, 116, 31)">&#39;</span><span style="font-family:monospace;color:rgb(194, 116, 31)">t page of the content of the</span></td>




</tr><tr><td style="padding-left:0px;padding-right:0px;vertical-align:baseline"><span style="font-family:monospace;color:rgb(194, 116, 31)">;</span><span style="font-family:monospace;color:rgb(194, 116, 31)"> </span><span style="font-family:monospace;color:rgb(194, 116, 31)">BLOG.</span></td>




</tr></tbody></table></span></blockquote><div><br></div><div><br></div><div>Is it correct? What does it mean that it &quot;produces an doesn&#39;t&quot;?</div><div><br></div><div>[]&#39;s</div><div><br clear="all">Rodolfo Carvalho<br>





</div></div></div><div>
_________________________________________________<br>  For list-related administrative tasks:<br>  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a></div>


</blockquote></div><br></div></blockquote></div><br></div></div></div>
<br>_________________________________________________<br>
  For list-related administrative tasks:<br>
  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br></blockquote></div><br><br clear="all"><br>-- <br>Jay McCarthy &lt;<a href="mailto:jay@cs.byu.edu" target="_blank">jay@cs.byu.edu</a>&gt;<br>
Assistant Professor / Brigham Young University<br><a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br><br>&quot;The glory of God is Intelligence&quot; - D&amp;C 93<br>
</div>