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 OAA16029; Wed, 17 Sep 2003 14:18:55 +0200 (MET DST) 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 OAA25375 for ; Wed, 17 Sep 2003 14:18:54 +0200 (MET DST) Received: from indyio.rz.uni-saarland.de (indyio.rz.uni-saarland.de [134.96.7.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h8HCIrf03742 for ; Wed, 17 Sep 2003 14:18:53 +0200 (MET DST) Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by indyio.rz.uni-saarland.de (8.12.9/8.12.9) with ESMTP id h8HCIqnS20084337 for ; Wed, 17 Sep 2003 14:18:53 +0200 (CST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.9/2003073000) with ESMTP id h8HCIqEH016675; Wed, 17 Sep 2003 14:18:52 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.9/2003091100) with ESMTP id h8HCIpjd005444; Wed, 17 Sep 2003 14:18:51 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.9/2003073000) with ESMTP id h8HCIovc026191; Wed, 17 Sep 2003 14:18:50 +0200 (CEST) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (zoidberg.ps.uni-sb.de [134.96.186.121]) by ps.uni-sb.de (8.11.6/8.11.0) with ESMTP id h8HCIoY22020; Wed, 17 Sep 2003 14:18:50 +0200 Message-ID: <3F68512A.3040109@ps.uni-sb.de> Date: Wed, 17 Sep 2003 14:18:50 +0200 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.1) Gecko/20021003 X-Accept-Language: de, en MIME-Version: 1.0 To: Diego Olivier Fernandez Pons CC: caml-list@inria.fr Subject: Re: [Caml-list] Graphmanipulation in Ocaml References: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; rossberg:01 rossberg:01 uni-sb:01 caml-list:01 pons:01 uni-sb:01 smlvsocaml:01 fixity:01 simplistic:01 darkened:01 munching:01 repetitive:01 kristian:01 fernandez:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Diego Olivier Fernandez Pons wrote: > > Conclusion : no really difficult points from SML to Caml (most of the > time you just guess what is happening and what to do). You may look at > SML vs. Caml (http://www.ps.uni-sb.de/~rossberg/SMLvsOcaml.html) which > is a bit out of date with respect to the Caml part (I have asked > Andreas Rossberg several times to update it but he does not seem to > want to). Well, actually, I recall only one such occasion. I have since incorparated some of your comments and explained why I didn't do so for some others. Of course, I may have overlooked something, so I am always open to further suggestions. Which part of the page you think is no longer up-to-date, or what is missing, particularly with respect to the SML->OCaml direction in question? (But please always bear in mind that the page intentionally makes no attempt to cover constructs that cannot be mapped reasonably between languages, e.g. objects, poly variants, user-defined fixity, advanced library issues, etc.) In the light of this thread I may add a section about comparisons and eqtypes. I hesitate because the simplistic tabular form of the page seems a bit unsuited to cope with the respective subtleties properly. Any ideas welcome. - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de "Computer games don't affect kids; I mean if Pac Man affected us as kids, we would all be running around in darkened rooms, munching magic pills, and listening to repetitive electronic music." - Kristian Wilson, Nintendo Inc. ------------------- 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