[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: in defense of types
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