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 7745F7EFCB for ; Tue, 18 Feb 2014 13:22:49 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwFAElPA1NZELGadGdsb2JhbABZgz6pWo1ziFmBKw4BDBUIPIImAQV5EAtGVwYTiAUECctOF459BAeDJIEUBJgsgTKLL4hv X-IPAS-Result: AmwFAElPA1NZELGadGdsb2JhbABZgz6pWo1ziFmBKw4BDBUIPIImAQV5EAtGVwYTiAUECctOF459BAeDJIEUBJgsgTKLL4hv X-IronPort-AV: E=Sophos;i="4.97,501,1389740400"; d="scan'208,217";a="49501224" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 18 Feb 2014 13:22:48 +0100 Received: (qmail 32186 invoked by uid 634); 18 Feb 2014 12:22:45 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO flick.office) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Tue, 18 Feb 2014 12:22:44 +0000 Content-Type: multipart/alternative; boundary="Apple-Mail=_FBDBC2E3-E076-4607-AEF8-0FD6E59D9CDE" Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1812\)) From: Anil Madhavapeddy In-Reply-To: Date: Tue, 18 Feb 2014 12:22:43 +0000 Cc: Ocaml Mailing List Message-Id: References: To: Andy Ray X-Mailer: Apple Mail (2.1812) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] [ANN] IOCaml v0.3 --Apple-Mail=_FBDBC2E3-E076-4607-AEF8-0FD6E59D9CDE Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 Ive merged a slightly updated release of this in OPAM stable (as iocaml 0.3= .1). I also have instructions for getting this up and running on MacOS+Hom= ebrew here: https://gist.github.com/avsm/9041133 Thanks very much for releasing this Andy; I hadn't realized what an incredi= ble tool IPython is for teaching until I played with the OCaml backend here= . I'm taking a shot a porting the Real World OCaml guided tour over to a n= otebook as well... cheers, Anil On 14 Feb 2014, at 00:34, Andy Ray wrote: > *** 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 ... *** >=20 > https://github.com/andrewray/iocaml >=20 > IOCaml is an OCaml kernel for the IPython notebook (http://ipython.org/no= tebook.html). This provides a REPL within a web browser with a nice user i= nterface including markdown based comments/documentation, mathjax formula a= nd the possibility of generating all manner of HTML based output media from= your code. Here are a few features I think are particularly interesting; >=20 > * Uses ocp-index.lib to provide code completion and types (includes docum= entation if .cmt files exist). Only works with installed libraries at the = moment. Very new, a wee bit buggy, but I love it. >=20 > * I copy/pasted the OCaml core language documentation page into a noteboo= k. Now you can learn interactively! [1] >=20 > * Play with TyXML in the notebook and render typed HTML interactively. >=20 > Installation is reasonably painless through opam, though you currently ne= ed to add my remote repository [2] and require a >=3D4.00.1 compiler. Inst= allation of IPython is a touch more involved as you will have to update (us= ing 'pip') some python components [3]. Instructions for Ubuntu 13.10 are o= n the github page and I have also tested Fedora 20 which was, apart from so= me slightly different package names, very similar. >=20 > Cheers, > Andy >=20 >=20 > [1] I am not sure if, according to the license terms, I should be providi= ng 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. >=20 > [2] I'd love to push this to opam proper but require ocaml-zmq >=3D3.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. >=20 > [3] I haven't tested this release with 0.13.2 which the distros provide. = Maybe it works anyway. --Apple-Mail=_FBDBC2E3-E076-4607-AEF8-0FD6E59D9CDE Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 Ive merged a slightly up= dated release of this in OPAM stable (as iocaml 0.3.1).  I also have i= nstructions for getting this up and running on MacOS+Homebrew here: https://gist.github.com/avsm= /9041133

Thanks very much for releasing this Andy; I= hadn't realized what an incredible tool IPython is for teaching until I pl= ayed with the OCaml backend here.  I'm taking a shot a porting the Rea= l World OCaml guided tour over to a notebook as well...

cheers,
Anil

On 14 Feb 2014, a= t 00:34, Andy Ray <andy.ray@ujam= jar.com> wrote:

*** I announced this to the list t= hrough 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, mathja= x formula and the possibility of generating all manner of HTML based output= media from your code.  Here are a few features I think are particular= ly interesting;

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

* I copy/pasted the OCaml core language documentation p= age into a notebook.  Now you can learn interactively! [1]
<= br>
* Play with TyXML in the notebook and render typed HTML inter= actively.

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

Cheers,
Andy


[1] I am not sure if, according to the license terms, I should be p= roviding this.  The documentation has not been changed in any way apar= t from one inserted paragraph at the start explaining the difference betwee= n a normal toplevel and the notebook interface.  I hope it's OK to pro= vide this.

[2] I'd love to push this to opam proper but require oc= aml-zmq >=3D3.2.  There was a recent discussion on the list about t= his (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.

= --Apple-Mail=_FBDBC2E3-E076-4607-AEF8-0FD6E59D9CDE--