Browse thread
[Caml-list] Executable size?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2003-11-12 (20:10) |
From: | Basile Starynkevitch <basile.starynkevitch@i...> |
Subject: | Re: [Caml-list] Executable size? |
On Wed, Nov 12, 2003 at 02:40:56PM -0600, Brian Hurt wrote: [....] > Actually, I think Ocaml uses C's runtime libraries and builds on top of > them. For example, if I understand things correctly, Ocaml's printf is a > wrapper which calls C's printf. Sorry to be picky, but this particular claim is wrong: Ocaml printf routine is implemented in ocaml/stdlib/printf.ml and does not call C printf related stuff (except perhaps for float_to_string conversions). The format4 type is wired inside the compiler, notably inside ocaml/typing/typecore.ml function type_format. Actually, I tend to believe that on the contrary 1. Ocaml runtime (mostly the GC) uses the C library 2. Ocaml standard library (and others, notably the Unix module) don't use that much the C library except thru trivial wrappers (which essentially deals with Ocaml data representation and its conversion to native C data types). Most of the standard library is coded in Ocaml, not in C. Regards. -- Basile STARYNKEVITCH -- basile dot starynkevitch at inria dot fr Project cristal.inria.fr - http://cristal.inria.fr/~starynke --- all opinions are only mine ------------------- 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