Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Recursive lists
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alex Baretta <alex@b...>
Subject: Re: [Caml-list] About Obj (was Recursive lists)
brogoff wrote:
> On Wed, 13 Oct 2004, Alex Baretta wrote:

>>You might have noticed that Caml breeders use Obj fairly liberally when
>>it is needed to achieve a higher of abstraction which cannot be modeled
>>in the core language.
> Good point, but I hope every Caml fan accepts these uses as being neccesary
> compromises of the moment that can one day be eliminated by a stronger core
> language.
> -- Brian

Not necessarily. You certainly don't mean to say that the C FFI is a 
necessary compromise to be removed one day? We already have a very 
strong core language, which is fully type safe. Extensions to this core 
language, library-wise, can be achieved by linking to C code or, 
depending on the application, to Obj-aware Ocaml libraries.

Apart from such extensions, which most of the core libraries build upon, 
no code should directly call C code or Obj code directly. This is the 
contract between the Caml and its riders.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: