Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Claude Marche <Claude.Marche@lri.fr>
To: caml-list@inria.fr
Subject: Re: When functional languages can be accepted by industry?
Date: Wed, 19 Apr 2000 17:17:10 +0200 (MET DST)	[thread overview]
Message-ID: <14589.52726.297673.77156@sun-demons> (raw)
In-Reply-To: <Pine.LNX.4.10.10004191839100.15184-100000@ontil.ihep.su>


>>>>> "Vitaly" == Vitaly Lugovsky <vsl@ontil.ihep.su> 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    |



  reply	other threads:[~2000-04-19 18:53 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
2000-04-19 15:17       ` Claude Marche [this message]
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=14589.52726.297673.77156@sun-demons \
    --to=claude.marche@lri.fr \
    --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