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 NAA28127; Sat, 12 Oct 2002 13:07:46 +0200 (MET DST) 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 NAA27643 for ; Sat, 12 Oct 2002 13:07:45 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from mail.fltrp.com ([211.101.185.130]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9CB7f524999 for ; Sat, 12 Oct 2002 13:07:44 +0200 (MET DST) Received: from fltrp.com [129.0.5.6] by mail.fltrp.com with ESMTP (SMTPD32-7.13) id A1D94E00C2; Sat, 12 Oct 2002 19:04:57 +0800 Message-ID: <3DA8021B.3050102@fltrp.com> Date: Sat, 12 Oct 2002 19:06:03 +0800 From: Yang Shouxun User-Agent: Mozilla/5.0 (X11; U; Linux i686; zh-CN; rv:1.1) Gecko/20020913 Debian/1.1-1 X-Accept-Language: en-us, zh-cn MIME-Version: 1.0 To: caml-list@inria.fr Subject: [Caml-list] automatic extraction of mli file? Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk First, I'd say I like the idea of OCaml has separate interface and implementation files. I'm quite new in OCaml and I want to know what is the practice of the OCaml programmers. Will you first write the interface files, then implement, or vice versa? I think neither way is satisfactory. I guess the first approach goes against prototyping and the second means both duplicated work and violation of software engineering. What I'm wondering is "wouldn't it be preferrable to automatically produce the interface file from the implementation file?", so that we can program in the literate programming style, do prototyping, and save the drudgery of writing the interface (though a little manual editing may be necessary, or some kind of markup in the source code). Maybe such utility already exists. Only I'm not aware of. If so, I'd like to know how to get it. Thanks. shouxun ------------------- 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