From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA15108; Fri, 1 Oct 2004 10:46:37 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA16544 for ; Fri, 1 Oct 2004 10:46:36 +0200 (MET DST) Received: from mta1.cl.cam.ac.uk (mta1.cl.cam.ac.uk [128.232.0.15]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i918kZWM003505 for ; Fri, 1 Oct 2004 10:46:36 +0200 Received: from zonule.cl.cam.ac.uk ([128.232.9.23] helo=cl.cam.ac.uk ident=[PT1A0E4StVlc++JD7kkEqXZjn2qplTuK]) by mta1.cl.cam.ac.uk with esmtp (Exim 3.092 #1) id 1CDJ3e-0000N8-00; Fri, 01 Oct 2004 09:46:30 +0100 X-Mailer: exmh version 2.6.3-CL 04/04/2003 with nmh-1.0.4 To: Jacques Garrigue cc: caml-list@inria.fr Subject: Re: [Caml-list] Factoring HOFs In-reply-to: Your message of "Fri, 01 Oct 2004 08:17:52 +0900." <20041001.081752.59461685.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Fri, 01 Oct 2004 09:46:30 +0100 From: Keith Wansbrough Message-Id: X-Miltered: at concorde with ID 415D196B.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 hofs:01 quantifiers:01 verbose:01 infer:01 ocaml:01 harder:02 nested:02 pointer:03 types:03 www:91 chose:11 cambridge:11 supporting:18 keith:20 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > OCaml has been supporting nested quantifiers for years. > However, they are a little more verbose because we chose to allow > unpredicate 2nd order types, which are harder to infer. Apologies; I didn't realise this. Thanks for the pointer. --KW 8-) -- Keith Wansbrough http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners