From: Jonathan R. <jon...@gm...> - 2005-05-28 07:17:34
|
> That's interesting idea, could you give more informations about the goal = of > your project ? To write a robust, type-safe OS. > Actually you just need to declare in IO.ml the C externals to caml channe= ls > functions and hide them in the mli so they can't be used directly. Have a > look at pervasives.ml and .mli sources to see how ocaml is doing. I'd prefer to get rid of the channels completely (as well as printf/fprintf, use of file descriptors, probably other things too), to avoid writing a lot of libc stub code. Jonathan |