A question about fix point function

From: Hsueh-Szu Yang (alvin@cs.bu.edu)
Date: Fri Oct 15 2004 - 11:16:50 EDT 

Return-Path: <alvin@cs.bu.edu>
Received: from csa.bu.edu (csa [128.197.12.3]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i9FFGpEP007433; Fri, 15 Oct 2004 11:16:51 -0400
Received: from localhost (alvin@localhost) by csa.bu.edu (8.10.1/8.10.1) with ESMTP id i9FFGoD18938; Fri, 15 Oct 2004 11:16:50 -0400 (EDT)
X-Authentication-Warning: csa.bu.edu: alvin owned process doing -bs
Date: Fri, 15 Oct 2004 11:16:50 -0400 (EDT)
From: Hsueh-Szu Yang <alvin@cs.bu.edu>
X-Sender: alvin@csa.bu.edu
To: Assaf Kfoury <kfoury@cs.bu.edu>
cc: alvin@bu.edu
Subject: A question about fix point function
In-Reply-To: <416DF311.7080601@cs.bu.edu>
Message-ID: <Pine.SOL.4.20.0410151110190.18566-100000@csa.bu.edu>
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Spam-HitLevel: 
X-Spam-DCC: dcc.uncw.edu: cs3.bu.edu 1201; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-5.9 required=10.0 tests=ALL_TRUSTED,BAYES_00  autolearn=ham version=3.0.0
X-Spam-Pyzor: Reported 0 times.
Status:   
X-Mozilla-Status: 8003
X-Mozilla-Status2: 00000000
X-UIDL: 411f69ec00001392

Hi Professor,

Is it possible to define a fix point function by using a typeable
language, such as OCaml ? According to the book, the fix point function
is:

  fix = lambda f . (lambda x. f( lambda y . x x y))
                   (lambda x. f( lambda y . x x y));

However, the term "x x" in non-typeable. So, I am wondering if we can
define such a function in a typeable language?

Thanks,
Hsueh-Szu

This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST