From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4FE237F7B4 for ; Fri, 14 Feb 2014 01:35:04 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andy.ray@ujamjar.com) identity=pra; client-ip=31.172.243.2; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andy.ray@ujamjar.com"; x-sender="andy.ray@ujamjar.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andy.ray@ujamjar.com) identity=mailfrom; client-ip=31.172.243.2; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andy.ray@ujamjar.com"; x-sender="andy.ray@ujamjar.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@www.ujamjar.com) identity=helo; client-ip=31.172.243.2; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andy.ray@ujamjar.com"; x-sender="postmaster@www.ujamjar.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgHAFhj/VIfrPMC/2dsb2JhbABZgz5XqnYBjASIVYERHnSDRAddEgEFAYg6BAmXMIMKrjSOdYRDBJgsgTKLL4NVGCmBLIMt X-IPAS-Result: AvgHAFhj/VIfrPMC/2dsb2JhbABZgz5XqnYBjASIVYERHnSDRAddEgEFAYg6BAmXMIMKrjSOdYRDBJgsgTKLL4NVGCmBLIMt X-IronPort-AV: E=Sophos;i="4.95,841,1384297200"; d="scan'208";a="49010202" Received: from vm12460.vps.tagadab.com (HELO www.ujamjar.com) ([31.172.243.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 14 Feb 2014 01:35:01 +0100 Received: from mail-qa0-f43.google.com (mail-qa0-f43.google.com [209.85.216.43]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by www.ujamjar.com (Postfix) with ESMTPSA id 17C98124337 for ; Fri, 14 Feb 2014 00:34:24 +0000 (GMT) Received: by mail-qa0-f43.google.com with SMTP id o15so17207897qap.2 for ; Thu, 13 Feb 2014 16:34:18 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=mime-version:date:message-id:subject:from:to:content-type; bh=Uvdrqtlui1IDQjL1i1kxjWd1sBD4/kMGM188YcbvLwE=; b=IqZCqvNyPHfQxrHs8nPkh7aA9+vdRDqvQE1upx27yWpJmbFnoIagnpeO13LMF+3wI7 gLinXCoJuLG4uTVXy+PiZvBLJPmV0KKTSHZRsYfiBHjk6/Frj9FbRnLWSel8M/aBlimv mVAmjdhobNC1VUv7+OGnzpokKjy9UQK8HE2eLScp+XglIz8gjGOp32VFSGuJLCQm46oH sAPFbqffeW0ureGElPqO7tNFPphAbIdgHiLScsac0ajd7TgQOyzpf+mnTeifWYJk4bzB xjQKN2mg9jSHAlyTS1D/EEocRBwi64yAMfNCURoal+4NXryqUCbV0NTT61jsxjjt9PCI jlnA== MIME-Version: 1.0 X-Received: by 10.224.14.2 with SMTP id e2mr7622790qaa.73.1392338058031; Thu, 13 Feb 2014 16:34:18 -0800 (PST) Received: by 10.140.24.166 with HTTP; Thu, 13 Feb 2014 16:34:17 -0800 (PST) Date: Fri, 14 Feb 2014 00:34:17 +0000 Message-ID: From: Andy Ray To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7bdc8b6e5b35f404f252f7a7 Subject: [Caml-list] [ANN] IOCaml v0.3 --047d7bdc8b6e5b35f404f252f7a7 Content-Type: text/plain; charset=ISO-8859-1 *** I announced this to the list through google groups a few days ago but I don't think it worked properly so hopefully this time ... *** https://github.com/andrewray/iocaml IOCaml is an OCaml kernel for the IPython notebook ( http://ipython.org/notebook.html). This provides a REPL within a web browser with a nice user interface including markdown based comments/documentation, mathjax formula and the possibility of generating all manner of HTML based output media from your code. Here are a few features I think are particularly interesting; * Uses ocp-index.lib to provide code completion and types (includes documentation if .cmt files exist). Only works with installed libraries at the moment. Very new, a wee bit buggy, but I love it. * I copy/pasted the OCaml core language documentation page into a notebook. Now you can learn interactively! [1] * Play with TyXML in the notebook and render typed HTML interactively. Installation is reasonably painless through opam, though you currently need to add my remote repository [2] and require a >=4.00.1 compiler. Installation of IPython is a touch more involved as you will have to update (using 'pip') some python components [3]. Instructions for Ubuntu 13.10 are on the github page and I have also tested Fedora 20 which was, apart from some slightly different package names, very similar. Cheers, Andy [1] I am not sure if, according to the license terms, I should be providing this. The documentation has not been changed in any way apart from one inserted paragraph at the start explaining the difference between a normal toplevel and the notebook interface. I hope it's OK to provide this. [2] I'd love to push this to opam proper but require ocaml-zmq >=3.2. There was a recent discussion on the list about this (indeed reading about ZeroMQ led me to IPython) so hopefully this will happen before too long. [3] I haven't tested this release with 0.13.2 which the distros provide. Maybe it works anyway. --047d7bdc8b6e5b35f404f252f7a7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
*** I announced this to the list through google group= s a few days ago but I don't think it worked properly so hopefully this= time ... ***

https://github.com/andrewray/iocaml

IOCaml is an OCaml kernel for the IPython notebook (http://ipython.org/= notebook.html). =A0This provides a REPL within a web browser with a nic= e user interface including markdown based comments/documentation, mathjax f= ormula and the possibility of generating all manner of HTML based output me= dia from your code. =A0Here are a few features I think are particularly int= eresting;

* Uses ocp-index.lib to provide code completion and typ= es (includes documentation if .cmt files exist). =A0Only works with install= ed libraries at the moment. =A0Very new, a wee bit buggy, but I love it.

* I copy/pasted the OCaml core language documentation p= age into a notebook. =A0Now you can learn interactively! [1]

=
* Play with TyXML in the notebook and render typed HTML interact= ively.

Installation is reasonably painless through opam, thoug= h you currently need to add my remote repository [2] and require a >=3D4= .00.1 compiler. =A0Installation of IPython is a touch more involved as you = will have to update (using 'pip') some python components [3]. =A0In= structions for Ubuntu 13.10 are on the github page and I have also tested F= edora 20 which was, apart from some slightly different package names, very = similar.

Cheers,
Andy


[1] I am not sure if, according to the license terms, I should be p= roviding this. =A0The documentation has not been changed in any way apart f= rom one inserted paragraph at the start explaining the difference between a= normal toplevel and the notebook interface. =A0I hope it's OK to provi= de this.

[2] I'd love to push this to opam proper but requir= e ocaml-zmq >=3D3.2. =A0There was a recent discussion on the list about = this (indeed reading about ZeroMQ led me to IPython) so hopefully this will= happen before too long.

[3] I haven't tested this release with 0.13.2 which= the distros provide. =A0Maybe it works anyway.
--047d7bdc8b6e5b35f404f252f7a7--