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 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
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
