[racket] Strange contracts in the tutorial

From: Rodolfo Carvalho (rhcarvalho at gmail.com)
Date: Mon Jun 13 20:12:58 EDT 2011

Ok, now I get what it means.

Still, it feels confusing in the way that it's written.

[]'s

Rodolfo Carvalho


On Mon, Jun 13, 2011 at 20:55, Matthias Felleisen <matthias at ccs.neu.edu>wrote:

>
> The author tried to say it doesn't return.
>
> In a Racket-like context, the author could have specified
>
>  ;; render-blog-page : request -> ∅
>
> 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.
>
> 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?
>
> -- Matthias
>
>
>
>
> On Jun 13, 2011, at 5:13 PM, Rodolfo Carvalho wrote:
>
> Hi,
>
> I'm reading the User Guide: Continue<http://docs.racket-lang.org/continue/> and
> I'm puzzled with some contracts that reads:
>
>  ; render-blog-page: request -> doesn't ; Produces an doesn't page of the
>> content of the ; BLOG.
>
>
>
> Is it correct? What does it mean that it "produces an doesn't"?
>
> []'s
>
> Rodolfo Carvalho
>  _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20110613/2f7e289f/attachment.html>

Posted on the users mailing list.