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] GC and file descriptors
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-11-19 (17:01)
From: Richard Jones <rich@a...>
Subject: Re: [Caml-list] GC and file descriptors
On Thu, Nov 20, 2003 at 12:33:34AM +1100, skaller wrote:
> A compromise might be: give up declared interfaces.

Couldn't .mli files be done away with mostly with a few extra keywords
in the language, eg:

	public let my_function_which_i_want_exported = ...

	abstract type t = { hidden implementation }

It's a bit of a flaw in the language that you have all this lovely
type inference working for you, but then you have to go and declare
your types anyway in the .mli files.


Richard Jones.
Merjis Ltd. - improving website return on investment
"My karma ran over your dogma"

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