Re: [Haskell-beginners] Y-combinator

Excerpts from Jon Harrop's message of Wed Feb 24 15:41:01 -0500 2010:

OCaml can do this:

$ ocaml -rectypes Objective Caml version 3.11.1

# let fix f = (fun x -> f(x x)) (fun x y -> f(x x) y);; val fix : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b = <fun>

# fix (fun f -> function 0 -> 1 | n -> n*f(n-1)) 10;; - : int = 3628800

http://haskell.org/hoogle/3/?q=fix Cheers, Edward