From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA03611 for caml-redistribution@pauillac.inria.fr; Wed, 19 Apr 2000 20:53:54 +0200 (MET DST) Resent-Message-Id: <200004191853.UAA03611@pauillac.inria.fr> 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 RAA17949 for ; Wed, 19 Apr 2000 17:17:12 +0200 (MET DST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id RAA05770 for ; Wed, 19 Apr 2000 17:17:11 +0200 (MET DST) Received: from sun-demons.lri.fr (sun-demons [129.175.8.90]) by ext.lri.fr (8.9.3/jtpda-5.3.2) with ESMTP id RAA25631 for ; Wed, 19 Apr 2000 17:17:11 +0200 (MET DST) Received: from (marche@localhost) by sun-demons.lri.fr (8.9.3/jtpda-5.3.2) id RAA05666 ; Wed, 19 Apr 2000 17:17:10 +0200 (MET DST) X-Authentication-Warning: sun-demons.lri.fr: marche set sender to marche@lri.fr using -f From: Claude Marche MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <14589.52726.297673.77156@sun-demons> Date: Wed, 19 Apr 2000 17:17:10 +0200 (MET DST) To: caml-list@inria.fr Subject: Re: When functional languages can be accepted by industry? In-Reply-To: References: <20000418075409.52889@pauillac.inria.fr> X-Mailer: VM 6.62 under Emacs 20.3.1 Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 19 Apr 2000 20:53:54 +0200 Resent-To: caml-redistribution@pauillac.inria.fr >>>>> "Vitaly" == Vitaly Lugovsky writes: Vitaly> 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. Vitaly> But stupid "industry" don't like TeX. :( They wants HTML Vitaly> or somthing like that. Is there any HTML output formatter Vitaly> for ocamlweb? Industry knows nothing about literate Vitaly> programming, as well as about many other progressive Vitaly> technologies. So, if industry people use Javadoc, they're doing literate programming like Monsieur Jourdain :-) More seriously: the LaTeX output of ocamlweb is suitable for input to HeVeA, which produces HTML. Check them out ! http://www.lri.fr/~filliatr/ocamlweb/ http://para.inria.fr/~maranget/hevea/ - Claude PS: and please, nobody start a new thread "When LaTeX can be accepted by industry?", or at least somewhere else. -- | Claude Marché | mailto:Claude.Marche@lri.fr | | LRI - Bât. 490 | http://www.lri.fr/~marche/ | | Université de Paris-Sud | phoneto: +33 1 69 15 64 85 | | F-91405 ORSAY Cedex | faxto: +33 1 69 15 65 86 |