From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA25864; Wed, 19 Nov 2003 18:01:42 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA25627 for ; Wed, 19 Nov 2003 18:01:41 +0100 (MET) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAJH1e107889 for ; Wed, 19 Nov 2003 18:01:40 +0100 (MET) Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 1AMVi0-0004Kw-00 for ; Wed, 19 Nov 2003 17:01:40 +0000 Date: Wed, 19 Nov 2003 17:01:39 +0000 Cc: Caml Mailing List Subject: Re: [Caml-list] GC and file descriptors Message-ID: <20031119170139.GB16427@redhat.com> References: <1069168323.18363.83.camel@pelican> <3FBA4D97.9060309@dcs.qmul.ac.uk> <3FBA6459.3000000@socialtools.net> <20031118202438.A9506@pauillac.inria.fr> <3FBAC938.8080309@dcs.qmul.ac.uk> <1069248814.23700.81.camel@pelican> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1069248814.23700.81.camel@pelican> User-Agent: Mutt/1.5.4i From: Richard Jones X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 1100,:01 mli:01 inference:01 mli:01 freshmeat:01 ltd:98 descriptors:01 interfaces:01 nov:01 wrote:03 exported:03 abstract:03 types:03 let:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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. Rich. -- Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj Merjis Ltd. http://www.merjis.com/ - improving website return on investment "My karma ran over your dogma" ------------------- 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