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 QAA26731; Wed, 17 Mar 2004 16:52:11 +0100 (MET) 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 QAA17074 for ; Wed, 17 Mar 2004 16:52:10 +0100 (MET) Received: from plover.csun.edu (plover.csun.edu [130.166.1.24]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2HFqaKW010558 for ; Wed, 17 Mar 2004 16:52:36 +0100 Received: from puffin.csun.edu (puffin.csun.edu [130.166.1.21]) by plover.csun.edu (MOS 3.4.4-GR) with ESMTP id BBM19327 for ; Wed, 17 Mar 2004 07:52:04 -0800 (PST) Received: from [10.0.0.221] (cpe-24-31-48-47.socal.rr.com [24.31.48.47]) by puffin.csun.edu (MOS 3.4.4-GR) with ESMTP id BND12507 (AUTH eric) for ; Wed, 17 Mar 2004 07:52:03 -0800 (PST) Mime-Version: 1.0 (Apple Message framework v612) In-Reply-To: <20040316053229.99711.qmail@web41207.mail.yahoo.com> References: <20040316053229.99711.qmail@web41207.mail.yahoo.com> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <07FEC955-782B-11D8-850C-000A957FFA4A@csun.edu> Content-Transfer-Encoding: 7bit From: Eric Stokes Subject: Re: [Caml-list] Completeness of "Unix" run-time library Date: Wed, 17 Mar 2004 07:52:02 -0800 To: caml-list@inria.fr X-Mailer: Apple Mail (2.612) 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 run-time:01 posix:01 posix:01 avoids:01 api:01 api:01 binaries:01 end-user:01 granularity:01 mli:01 kitchen:99 2004:99 2004:99 otherlibs:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 154 Splitting up the single large interface of the unix library into several smaller ones seems a very natural thing to do as the library grows. The point I was trying to make though is that INRIA currently has the most complete Posix library in the Ocaml community, and so, those of us who have created bindings for other Posix functions should try to work with them to get our code merged. This avoids fragmentation of the code base for the Posix api and the confusion which comes with it. IMHO of course. On Mar 15, 2004, at 9:32 PM, Vasili Galchin wrote: > Hi Eric, > > You have made a good point. Is there a way though > so that there is one unix.cma (I would still suggest > posix.cma because we should really IMO speak in terms > of POSIX API vs Win32 API) library that is built from > several binaries like socket, process, (p)thread? In > this way, the end-user would like against one library > not N libraries (I agree with your point about link > hassles). I guess i questioning current granularity of > unix.mli. This is, of course, somewhat of a judgemnet > call, but one doesn't want to have all of the source > in the kitchen sink. I.e. source module division vs > link library division. (Sorry ... perhaps I didn't say > in an eloquent way .. hope everybody gets my point). > > Regards, Vasili > > --- Eric Stokes wrote: >> It is nice to access these things through a single >> interface like the >> Unix library, instead of >> having to link to multiple libraries. Does INRIA not >> allow submissions >> for inclusion >> into the standard library? >> >> On Mar 9, 2004, at 10:11 AM, Shawn Wagner wrote: >> >>> On Tue, Mar 09, 2004 at 05:55:27PM +0000, Richard >> Jones wrote: >>>> On Tue, Mar 09, 2004 at 09:30:09AM -0800, Vasili >> Galchin wrote: >>>>> Hello, >>>>> >>>>> I have yet to finish reading through >> otherlibs/unix/unix.mli. >>>>> I kind of consider this POSIX API support. In >> any case, is there is >>>>> a consensus that what is in unix.mli is >> complete? Or does new >>>>> functionality have to be added? If so, what? >>>> >>>> No way!! There's lots of missing stuff which >> could be added. eg. off >>>> the top of my head, strftime(3). >>> >>> >>> Some missing functions from the C and POSIX >> standards are in my extlib >>> library (strftime is Time.format_time). >>> http://raevnos.pennmush.org/code/extlib/ >>> >>> More (The numeric ones added in C99) are in the >> companion mathlib. >>> http://raevnos.pennmush.org/code/mathlib/ >>> >>> >>>> >>>> It would also be useful to have a comprehensive >> time / date library, >>>> probably outside the Unix module. As part of the >> perl4caml project >>>> I've wrapped up Perl's Date::Parse, Date::Format >> and Date::Calc[1] >>>> modules, but a general OCaml library would be >> great. >>> >>> Agreed. >>> >>> -- >>> Shawn Wagner >>> shawnw@speakeasy.org >>> >>> ------------------- >>> 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 >>> >> >> ------------------- >> 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 > > > __________________________________ > Do you Yahoo!? > Yahoo! Mail - More reliable, more storage, less spam > http://mail.yahoo.com > > ------------------- > 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 > ------------------- 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