From: Andy Ray <andy.ray@ujamjar.com>
To: caml-list@inria.fr
Subject: [Caml-list] [ANN] IOCaml v0.3
Date: Fri, 14 Feb 2014 00:34:17 +0000 [thread overview]
Message-ID: <CAHYOizEVwqKunGPfpCGR=VScERu7cEQ=mgpGR-2W=oUa9MxLPg@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1987 bytes --]
*** 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.
[-- Attachment #2: Type: text/html, Size: 2449 bytes --]
next reply other threads:[~2014-02-14 0:35 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-14 0:34 Andy Ray [this message]
2014-02-18 12:22 ` Anil Madhavapeddy
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='CAHYOizEVwqKunGPfpCGR=VScERu7cEQ=mgpGR-2W=oUa9MxLPg@mail.gmail.com' \
--to=andy.ray@ujamjar.com \
--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