From: Yang Shouxun <yangsx@fltrp.com>
To: caml-list@inria.fr
Subject: [Caml-list] automatic extraction of mli file?
Date: Sat, 12 Oct 2002 19:06:03 +0800 [thread overview]
Message-ID: <3DA8021B.3050102@fltrp.com> (raw)
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
next reply other threads:[~2002-10-12 11:07 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-10-12 11:06 Yang Shouxun [this message]
2002-10-12 11:33 ` Nicolas Cannasse
2002-10-12 11:50 ` Yang Shouxun
2002-10-12 12:52 ` Sven LUTHER
2002-10-16 13:03 ` Claude Marche
2002-10-12 11:55 ` Remi VANICAT
2002-10-13 10:20 ` Xavier Leroy
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3DA8021B.3050102@fltrp.com \
--to=yangsx@fltrp.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox