caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Andreas Rossberg <rossberg@ps.uni-sb.de>
To: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@etu.upmc.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Graphmanipulation in Ocaml
Date: Wed, 17 Sep 2003 14:18:50 +0200	[thread overview]
Message-ID: <3F68512A.3040109@ps.uni-sb.de> (raw)
In-Reply-To: <Pine.A41.4.44.0309171053020.1368288-100000@ibm1.cicrp.jussieu.fr>

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


  reply	other threads:[~2003-09-17 12:18 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-09-01 18:46 Arne Koewing
2003-09-01 20:15 ` Matt Gushee
2003-09-01 20:27   ` [Caml-list] " Arne Koewing
2003-09-01 21:53     ` Matt Gushee
2003-09-02  9:09     ` Martin Jambon
2003-09-03 11:37 ` [Caml-list] " Francisco J. Valverde Albacete
2003-09-16 20:05 ` Gleb N. Semenov
2003-09-16 22:35   ` henridf
2003-09-17 10:52     ` Gleb N. Semenov
2003-09-17  8:29   ` Diego Olivier Fernandez Pons
2003-09-17  8:59     ` Eray Ozkural
2003-09-17  9:53     ` Diego Olivier Fernandez Pons
2003-09-17 12:18       ` Andreas Rossberg [this message]
2003-09-17 18:11     ` Gleb N. Semenov

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=3F68512A.3040109@ps.uni-sb.de \
    --to=rossberg@ps.uni-sb.de \
    --cc=Diego.FERNANDEZ_PONS@etu.upmc.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).