Ok, now I get what it means.<div><br></div><div>Still, it feels confusing in the way that it's written.</div><div><br></div><div>[]'s</div><div><br clear="all">Rodolfo Carvalho<br>
<br><br><div class="gmail_quote">On Mon, Jun 13, 2011 at 20:55, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>></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'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 -> ∅</div>
<div><br></div><div>Since there are no elements in the emptyset, this specification says the same thing mathematically, using Racket's `types as sets' 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's domain isn'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 class="h5"><div>On Jun 13, 2011, at 5:13 PM, Rodolfo Carvalho wrote:</div><br></div></div><blockquote type="cite"><div><div>
</div><div class="h5">Hi,<div><br></div><div>I'm reading the <a href="http://docs.racket-lang.org/continue/" target="_blank">User Guide: Continue</a> and I'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 -> doesn</span><span style="font-family:monospace;color:rgb(194, 116, 31)">'</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)">'</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 "produces an doesn't"?</div><div><br></div><div>[]'s</div><div><br clear="all">Rodolfo Carvalho<br>
</div></div></div><div class="im">
_________________________________________________<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>