From: Vitaly Lugovsky <vsl@ontil.ihep.su>
To: Francois Pottier <Francois.Pottier@inria.fr>
Cc: caml-list@inria.fr, Pierre.Weis@inria.fr,
caml-redistribution@pauillac.inria.fr
Subject: Re: When functional languages can be accepted by industry?
Date: Wed, 19 Apr 2000 18:53:55 +0400 (MSD) [thread overview]
Message-ID: <Pine.LNX.4.10.10004191839100.15184-100000@ontil.ihep.su> (raw)
In-Reply-To: <20000418075409.52889@pauillac.inria.fr>
On Tue, 18 Apr 2000, Francois Pottier wrote:
> May I advocate Jean-Christophe FilliБtre's excellent literate
> programming tool, ocamlweb?
>
> http://www.lri.fr/~filliatr/ocamlweb/
>
> It nicely turns your O'Caml source code into a TeX document,
> including an identifier index. Comments are expected to contain
> TeX source.
But stupid "industry" don't like TeX. :(
They wants HTML or somthing like that. Is there any HTML output
formatter for ocamlweb? Industry knows nothing about literate
programming, as well as about many other progressive technologies.
P.S. Maybe, all that we need, is a RAD tool for ocaml? It can
look like a better module finder ("module name" -> "file name" is not
a good idea. Paths in Java is much better), and a lot of reusable
modules for common tasks (database, GUI)...
--
V.S.Lugovsky aka Mauhuur (http://ontil.ihep.su/~vsl) (UIN=45482254)
next prev parent reply other threads:[~2000-04-19 14:52 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-17 12:57 FALCON Gilles FTRD/DTL/LAN
2000-04-17 15:35 ` Xavier Leroy
2000-04-18 5:54 ` Francois Pottier
2000-04-19 14:53 ` Vitaly Lugovsky [this message]
2000-04-19 15:17 ` Claude Marche
2000-04-20 1:44 ` Max Skaller
2000-04-20 3:01 ` Vitaly Lugovsky
2000-04-21 0:41 ` Jacques Garrigue
2000-04-21 19:35 ` John Max Skaller
2000-04-21 20:53 ` Michael Hohn
2000-04-25 10:50 ` Remi VANICAT
2000-04-20 1:52 ` Max Skaller
2000-04-20 3:08 ` Vitaly Lugovsky
2000-04-20 2:51 ` Max Skaller
2000-04-20 17:17 ` Jean-Christophe Filliatre
-- strict thread matches above, loose matches on Subject: below --
2000-04-20 12:45 Gerd Stolpmann
2000-04-21 19:56 ` John Max Skaller
2000-04-22 18:30 ` Gerd Stolpmann
2000-04-23 3:20 ` John Max Skaller
2000-04-17 22:24 bdb-as-camluser
2000-04-03 1:27 Dennis (Gang) Chen
2000-04-06 16:51 ` Jean-Christophe Filliatre
2000-04-07 5:27 ` Dennis (Gang) Chen
[not found] ` <14574.1721.508470.790475@cylinder.csl.sri.com>
2000-04-11 0:24 ` Dennis (Gang) Chen
2000-04-11 17:58 ` Pierre Weis
2000-04-12 1:45 ` Dennis (Gang) Chen
2000-04-12 17:27 ` Daniel de Rauglaudre
2000-04-13 15:40 ` John Max Skaller
2000-04-14 19:16 ` John Max Skaller
2000-04-12 18:06 ` David Brown
2000-04-13 1:23 ` Dennis (Gang) Chen
2000-04-13 14:36 ` Pierre Weis
2000-04-13 6:53 ` Jean-Christophe Filliatre
2000-04-13 12:20 ` Frank Atanassow
2000-04-13 17:28 ` John Max Skaller
2000-04-13 12:28 ` Steve Stevenson
2000-04-13 13:38 ` jean-marc alliot
2000-04-13 16:00 ` William Chesters
2000-04-13 14:29 ` T. Kurt Bond
2000-04-13 17:23 ` Julian Assange
2000-04-16 16:33 ` John Max Skaller
2000-04-17 15:06 ` Markus Mottl
2000-04-17 19:55 ` John Prevost
2000-04-24 2:36 ` Chris Tilt
2000-04-13 16:59 ` John Max Skaller
2000-04-15 22:29 ` William Chesters
2000-04-16 22:24 ` Nickolay Semyonov
2000-04-18 6:52 ` Max Skaller
2000-04-17 12:51 ` jean-marc alliot
2000-04-17 17:49 ` John Max Skaller
2000-04-17 22:34 ` Brian Rogoff
2000-04-19 15:31 ` John Max Skaller
2000-04-19 18:30 ` Michael Hicks
2000-04-20 16:40 ` Markus Mottl
2000-04-20 17:58 ` Brian Rogoff
2000-04-20 18:52 ` Markus Mottl
2000-04-21 20:44 ` Michael Hohn
2000-04-21 19:22 ` John Max Skaller
2000-04-21 19:09 ` John Max Skaller
2000-04-21 19:45 ` Markus Mottl
2000-04-21 19:56 ` Brian Rogoff
2000-04-21 19:18 ` John Max Skaller
2000-04-18 10:53 ` Sven LUTHER
2000-04-19 15:57 ` John Max Skaller
2000-04-13 7:05 ` Pierre Weis
2000-04-13 17:04 ` Julian Assange
2000-04-07 15:44 ` John Max Skaller
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=Pine.LNX.4.10.10004191839100.15184-100000@ontil.ihep.su \
--to=vsl@ontil.ihep.su \
--cc=Francois.Pottier@inria.fr \
--cc=Pierre.Weis@inria.fr \
--cc=caml-list@inria.fr \
--cc=caml-redistribution@pauillac.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;
as well as URLs for NNTP newsgroup(s).