From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA05228 for caml-redist@pauillac.inria.fr; Thu, 20 Apr 2000 10:11:50 +0200 (MET DST) Resent-Message-Id: <200004200811.KAA05228@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA29735 for ; Thu, 20 Apr 2000 04:44:49 +0200 (MET DST) Received: from emissary.ot.com.au (emissary.ot.com.au [203.42.249.64] (may be forged)) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id EAA03434 for ; Thu, 20 Apr 2000 04:44:46 +0200 (MET DST) Received: (qmail 23450 invoked from network); 20 Apr 2000 02:44:42 -0000 Received: from unknown (HELO druid.in.ot.com.au) (10.70.10.5) by 10.70.15.1 with SMTP; 20 Apr 2000 02:44:42 -0000 Received: (qmail 2155 invoked from network); 20 Apr 2000 02:44:42 -0000 Received: from merlin.in.ot.com.au (HELO in.ot.com.au) (203.5.4.26) by druid.in.ot.com.au with SMTP; 20 Apr 2000 02:44:42 -0000 Sender: maxs@inria.fr Message-ID: <38FE62F9.BA484599@in.ot.com.au> Date: Thu, 20 Apr 2000 11:52:57 +1000 From: Max Skaller X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Vitaly Lugovsky CC: Francois Pottier , caml-list@inria.fr, Pierre.Weis@inria.fr, caml-redistribution@pauillac.inria.fr Subject: Re: When functional languages can be accepted by industry? References: Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Thu, 20 Apr 2000 10:11:50 +0200 Resent-To: caml-redist@pauillac.inria.fr Vitaly Lugovsky wrote: > > 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. Industry is not stupid, it is simply governed by different motives. I'm using a) ocaml -- an advanced programming language b) interscript -- an advanced literate programming tool in my job. -- John (Max) Skaller at OTT [Open Telecommications Ltd] mailto:maxs@in.ot.com.au -- at work mailto:skaller@maxtal.com.au -- at home