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.

Alex

-------------------
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