Re: in defense of types

[Pixel <address@hidden>]

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)

 
> 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 :-(