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 SAA21969; Thu, 8 Apr 2004 18:08:44 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA21964 for ; Thu, 8 Apr 2004 18:08:43 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i38G9Yjq018505; Thu, 8 Apr 2004 18:09:34 +0200 Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA21961; Thu, 8 Apr 2004 18:08:40 +0200 (MET DST) Date: Thu, 8 Apr 2004 18:08:40 +0200 From: Xavier Leroy To: John Goerzen Cc: Ocaml Mailing List Subject: Re: [Caml-list] Dynamically evaluating OCaml code Message-ID: <20040408180840.A17054@pauillac.inria.fr> References: <20020104004356.GA1672@mev> <20040408133727.GC29195@excelhustler.com> <20040408145606.GA18473@fichte.ai.univie.ac.at> <20040408153056.GB30763@excelhustler.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <20040408153056.GB30763@excelhustler.com>; from jgoerzen@complete.org on Thu, Apr 08, 2004 at 10:30:56AM -0500 X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 dynamically:01 python:01 basename:01 basename:01 localtime:01 localtime:01 ulimit:01 flags:01 recvfrom:01 trunc:01 ioctl:01 ioctl:01 generality:01 inclined:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 159 > Should I add a few more? Here are > some other functions that I have in C, Python, Perl (and, for the most > part, even Java) that are missing from OCaml: I'm afraid you haven't checked the OCaml docs before posting, because some of these are already there. More specifically: > realpath() > asctime() > strftime() > strptime() > basename() is Filename.basename > dirname() is Filename.dirname > localtime() is Unix.localtime > gmtime() is Unix.gmtime > ulimit() > getaddrinfo() is in the works, as part of IPv6 support > The following flags for recv/recvfrom: > MSG_WAITALL > MSG_TRUNC > MSG_ERRQUEUE the latter two aren't standard (not in SuSv2) > The following formats for socket(): > PF_INET6 in the works as part of IPv6 support > , PF_PACKET, PF_APPLETALK not standard (not in SuSv2) > recvmsg() > mknod() > mountpoint() > ioctl() Also note that ioctl cannot be supported in its full generality because this function is not typeable. Only special cases (with a fixed second argument) can be expressed in OCaml. Generally speaking, you have some valid points, but these get lost in a lot of rather inflammatory comments. I'd be more inclined to listen to you if this wasn't the case. - Xavier Leroy ------------------- 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