From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 31F127FC8A for ; Thu, 19 Mar 2015 20:57:25 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=209.85.217.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 209.85.217.169 as permitted sender) identity=mailfrom; client-ip=209.85.217.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lb0-f169.google.com) identity=helo; client-ip=209.85.217.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-lb0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B9AACwKQtVlKnZVdFcg1hVBQSDCbMUhiqHZoF+hSxJgUAHTAEBAQEBAREBAQEBBwsLCRIwhBABAQMBEhEdARQZDAMBCwEFAwILGh0CAiEBEgEFAQoSBgESCQkQh3kDCQgIBZVBkFY+MYsxhGKRRicDCoUpAQEBBwEBAQEBARYBBQ6LCYJEHYIMgnOBRQWFCgqBAogohXyEM4FMgRs6gnaCWYZeAQWEVhIjgRVbgzY9MQGCQgEBAQ X-IPAS-Result: A0B9AACwKQtVlKnZVdFcg1hVBQSDCbMUhiqHZoF+hSxJgUAHTAEBAQEBAREBAQEBBwsLCRIwhBABAQMBEhEdARQZDAMBCwEFAwILGh0CAiEBEgEFAQoSBgESCQkQh3kDCQgIBZVBkFY+MYsxhGKRRicDCoUpAQEBBwEBAQEBARYBBQ6LCYJEHYIMgnOBRQWFCgqBAogohXyEM4FMgRs6gnaCWYZeAQWEVhIjgRVbgzY9MQGCQgEBAQ X-IronPort-AV: E=Sophos;i="5.11,431,1422918000"; d="scan'208";a="126818814" Received: from mail-lb0-f169.google.com ([209.85.217.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Mar 2015 20:57:24 +0100 Received: by lbblx11 with SMTP id lx11so38736865lbb.3 for ; Thu, 19 Mar 2015 12:57:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:content-type; bh=O0S7YzyQ79GFGDjGiqkVoSrFMc2fCQnt7mn5kXBTpdY=; b=lsOd/3bG6vDLiTW3DQSbzmhVBAO0oMAvhRFizCdbeB/G93/P4l03Me4cs+StcNcWT1 OQ0GnLLdzj1/e2X3zA4VyJLQfLReNuqmvFAKPlSrHTJRT/CH2emMkA1WbRaXUrrSvkmc gqwYc29L20oHOLql9vQ3jkOlk8uUMhA11oKkJExqpcFvPeDKZbT4kIBAt6GTKNU3tLR3 flpN1xiaEHbG/MxL4uzd+tayQj0vZwsxyRcFGhUGgMBqVz4pRpVD4b0ShHOPOj4I/lCw fraiGj9MUt/g0kP/ZkurxV+7gWB2+6lvM3cASIWi1F5hM5TxqWUZdHvB0qV+CViLQE6c yxZQ== MIME-Version: 1.0 X-Received: by 10.152.22.1 with SMTP id z1mr58388857lae.114.1426795043459; Thu, 19 Mar 2015 12:57:23 -0700 (PDT) Sender: rdicosmo@gmail.com Received: by 10.152.146.167 with HTTP; Thu, 19 Mar 2015 12:57:23 -0700 (PDT) In-Reply-To: <20150315200810.GA1560@jrm.no-ip.org> References: <20150315200810.GA1560@jrm.no-ip.org> Date: Thu, 19 Mar 2015 20:57:23 +0100 X-Google-Sender-Auth: XZhblex-C_AgjVHN7pg1HvWhIZg Message-ID: From: Roberto Di Cosmo To: =?UTF-8?Q?Jos=C3=A9_Romildo_Malaquias?= , caml-list@inria.fr, gpoore@gmail.com Content-Type: multipart/alternative; boundary=089e0158b938bb97e80511a99bf0 Subject: Re: [Caml-list] Adding support for OCaml in PythonTeX --089e0158b938bb97e80511a99bf0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Well, an ugly but effective perl script has been used for ages for doing this... http://caml.inria.fr/pub/old_caml_site/caml-list-ar/0651.html Many of us (including me) have a modified version adapted to their LaTeX style. If somebody takes the time to revamp all this, and properly package it, with documentation, etc. , that would be really cool :-) 2015-03-15 21:08 GMT+01:00 Jos=C3=A9 Romildo Malaquias : > Hello. > > PythonTeX [https://www.ctan.org/pkg/pythontex] is a LaTeX package that > allows Python code entered within a TeX document to be executed, and the > output to be included in the original document. It supports other > languagens beside Python. > > I have just requested inclusion of OCaml support in PythonTeX: > https://github.com/gpoore/pythontex/issues/62 > > The author of PythonTeX says it could be possible, and he explained what > would be needed from the OCaml side. See the discussion in issue #62 in > the previous link. > > Basically, it would need a program which reads lines from a text file, > and these lines are given as input to an interactive session, giving > back input interspersed with output. He gives more details in the issue > discussion. Please read the issue discussion in the above link. > > Is there already such a program? If not, can it be easily written? > > I appreciate any help in providing this program. > > Regards, > > Romildo > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --=20 Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 320 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3 --089e0158b938bb97e80511a99bf0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Well, an ugly but effective perl script has been used= for ages for doing this...

=C2=A0 =C2=A0 http://caml.in= ria.fr/pub/old_caml_site/caml-list-ar/0651.html

= Many of us (including me) have a modified version adapted to their LaTeX st= yle.

If somebody takes the time to revamp all this= , and properly package it, with documentation, etc. , that would be really = cool :-)



2015-03-15 21:08 GMT+01:00 Jos=C3=A9 Romil= do Malaquias <j.romildo@gmail.com>:
Hello.

PythonTeX [https://www.ctan.org/pkg/pythontex] is a LaTeX package that
allows Python code entered within a TeX document to be executed, and the
output to be included in the original document. It supports other
languagens beside Python.

I have just requested inclusion of OCaml support in PythonTeX:
https://github.com/gpoore/pythontex/issues/62

The author of PythonTeX says it could be possible, and he explained what
would be needed from the OCaml side. See the discussion in issue #62 in
the previous link.

Basically, it would need a program which reads lines from a text file,
and these lines are given as input to an interactive session, giving
back input interspersed with output. He gives more details in the issue
discussion. Please read the issue discussion in the above link.

Is there already such a program? If not, can it be easily written?

I appreciate any help in providing this program.

Regards,

Romildo

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs



--
Roberto Di Cosmo
=C2=A0
---------------------------------------------------= ---------------
Professeur =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 En delegation a l'INRIA
PPS =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0E-mail: roberto@dicosmo.org
<= div>Universite Paris Diderot WWW =C2=A0: http://www.dicosmo.org
Case 7014 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Tel =C2=A0: ++33-(0)1-57 27= 92 20
5, Rue Thomas Mann =C2=A0 =C2=A0 =C2=A0=C2=A0
F-= 75205 Paris Cedex 13 =C2=A0 Identica: http://identi.ca/rdicosmo
FRANCE. =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Twitter: http://twitter.com/rdicosmo<= /a>
=
---------------------------------------------= ---------------------
Office location:
=C2=A0
Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue = de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C<= /div>
-----------------------------------------------------------------=
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3=C2= =A0
--089e0158b938bb97e80511a99bf0--