Re: in defense of types

[Guy Steele - Sun Microsystems Labs <address@hidden>]

   To: Matthias Felleisen <matthias@ccs.neu.edu>
   Cc: Michael Vanier <mvanier@cs.caltech.edu>, jay@kldp.org, 
ll1-discuss@ai.mit.edu
   Subject: Re: in defense of types
   From: Pixel <pixel@mandrakesoft.com>
   Date: 30 May 2002 14:54:39 +0200
   
   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 :-(

Okay, then, let me recommend that you also read
pages 1 through N-1.  :-)

--Guy Steele