Re: in defense of types

[Matthias Felleisen <address@hidden>]

At 30 May 2002 14:54:39 +0200, Pixel wrote:
> Matthias Felleisen <matthias@ccs.neu.edu> writes:
> 
> > Pixel, the point of Y is NOT to use let rec :)
> 
> ok, sorry.
> 
> anyway, i find it more readable that way:
> 
> let z f = 
>   let g = function (I x) -> f (fun z -> x (I x) z) in
>   g (I g)
> 

Hey, function also lets you define recursive functions. 
I said don't use a recursion construct. 

>  
> > For people who need to see a typed version in ML that works
> > for ALL types, see the last page of "The Little MLer". 
> > 
> > For those who need to see this in Java, take a look at the 
> > last page of "A Little Java, A Few Patterns."
> 
> alas, i don't wanna order those books to read the last page :-(

When I was young, there were libraries where one could 
borrow books for free. I was too poor to own books, so 
that came in handy :)

-- Matthias