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 TAA29615 for caml-redist; Fri, 21 Apr 2000 19:21:16 +0200 (MET DST) 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 TAA01517; Thu, 20 Apr 2000 19:17:28 +0200 (MET DST) Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id TAA29602; Thu, 20 Apr 2000 19:17:26 +0200 (MET DST) Received: from cylinder.csl.sri.com (IDENT:filliatr@cylinder.csl.sri.com [130.107.15.112]) by csla.csl.sri.com (8.9.1/8.9.1) with ESMTP id KAA06108; Thu, 20 Apr 2000 10:17:24 -0700 (PDT) Received: (from filliatr@localhost) by cylinder.csl.sri.com (8.9.3/8.8.7) id KAA15935; Thu, 20 Apr 2000 10:17:22 -0700 X-Authentication-Warning: cylinder.csl.sri.com: filliatr set sender to filliatr@cylinder.csl.sri.com using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <14591.15266.924179.377319@cylinder.csl.sri.com> Date: Thu, 20 Apr 2000 10:17:22 -0700 (PDT) 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? In-Reply-To: References: <20000418075409.52889@pauillac.inria.fr> X-Mailer: VM 6.62 under Emacs 20.4.1 Reply-To: filliatr@csl.sri.com (Jean-Christophe Filliatre) Sender: weis In his message of Wed April 19, 2000, Vitaly Lugovsky writes: > > > May I advocate Jean-Christophe Filliātre's excellent literate > > programming tool, ocamlweb? > > But stupid "industry" don't like TeX. :( > They wants HTML or somthing like that. Is there any HTML output > formatter for ocamlweb? Yes, nice HTML output is obtained with Hevea (ocamlweb is Hevea friendly; see the documentation for details). Here is an example: http://www.lri.fr/~filliatr/ftp/ocamlweb/ocamlweb.html > Industry knows nothing about literate programming, as well as about > many other progressive technologies. That's true in general, and too bad. But I know several programmers in industry who use literate programming tools. -- Jean-Christophe Filliatre Computer Science Laboratory Phone (650) 859-5173 SRI International FAX (650) 859-2844 333 Ravenswood Ave. email filliatr@csl.sri.com Menlo Park, CA 94025, USA web http://www.csl.sri.com/~filliatr