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 AAA12820; Thu, 23 Aug 2001 00:46:19 +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 AAA12836 for ; Thu, 23 Aug 2001 00:46:18 +0200 (MET DST) Received: from smtp3-cm.mail.eni.net (smtp3-cm.mail.eni.net [216.133.226.136]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f7MMkHf01615 for ; Thu, 23 Aug 2001 00:46:17 +0200 (MET DST) Received: from checkerlap.d6.com (node-d8e9cca2.powerinter.net [216.233.204.162]) by smtp3-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id PAA21176 for ; Wed, 22 Aug 2001 15:46:16 -0700 Message-Id: <4.3.2.7.2.20010822154554.00e023e0@shell16.ba.best.com> X-Sender: def6@shell16.ba.best.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Wed, 22 Aug 2001 15:48:21 -0700 To: caml-list@inria.fr From: Chris Hecker Subject: [Caml-list] hmm, ocaml with C syntax... Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk http://research.microsoft.com/vault/ The only difference seems to be the "key tracking" pre/post-condition thing (and no type inference). I wonder how well that works in practice. I also wonder if their generics, which are ML-style polymorphics, not C++ style templates (but that have C++ template syntax), will confuse C++ programmers. Chris ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr