Domical = OCaml + iodide | Alpha version

77 views
Skip to first unread message

Louis Abraham

unread,
Aug 30, 2018, 1:41:23 PM8/30/18
to iodide-dev
Hi,

I worked on OCaml support for Iodide, and I find the current version usable: https://louisabraham.github.io/domical/ (code)
The performance is better than the native interpreter (I thought it deserved some bold font)
and it loads faster than it downloads with my sh***y ADSL connection (the js weights 2.8 Mo).
I added a special output handler that separates stderr, stdout and the return value of the cell.

JS bindings in OCaml might be possible, but I don't think it is desirable for the moment
because the strong type system of OCaml would make the code very ugly.
If somebody really needs it, please tell me.

Big thanks to Michael Droettboom who provided great support!

Cheers,
Louis

P.S.: If case you are curious, Domical is an anagram of iodcaml.




Brendan Colloran

unread,
Sep 5, 2018, 3:31:00 PM9/5/18
to Louis Abraham, iodide-dev
This is phenomenally cool Louis! Great work!

--
You received this message because you are subscribed to the Google Groups "iodide-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to iodide-dev+unsubscribe@googlegroups.com.
To post to this group, send email to iodid...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/iodide-dev/745e56c8-b51a-4be7-9524-fbf96d2e2312%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Louis Abraham

unread,
Apr 9, 2019, 8:06:56 PM4/9/19
to Brendan Colloran, iodide-dev
Hi,

Just wanted to say I updated the plugin to work with the latest version of iodide.


With the exception of a little syntax coloring issue (https://github.com/iodide-project/iodide/issues/1728) it works just fine.

Best,
Louis

Michael Droettboom

unread,
Apr 10, 2019, 11:16:27 AM4/10/19
to Louis Abraham, Brendan Colloran, iodide-dev
Great!  Thanks for the update.

Just curious: To what to you attribute it being faster in the browser than natively?  I know you say on native it's using the OCaml interpreter, rather than the compiler.  Is that also the case in the browser?

Cheers,
Mike

On Tue, Apr 9, 2019 at 8:06 PM Louis Abraham <abrah...@gmail.com> wrote:
Hi,

Just wanted to say I updated the plugin to work with the latest version of iodide.


With the exception of a little syntax coloring issue (https://github.com/iodide-project/iodide/issues/1728) it works just fine.

Best,
Louis
Le 5 sept. 2018 à 21:31 +0200, Brendan Colloran <bcol...@mozilla.com>, a écrit :
This is phenomenally cool Louis! Great work!
On Thu, Aug 30, 2018 at 10:41 AM, Louis Abraham <abrah...@gmail.com> wrote:
Hi,

I worked on OCaml support for Iodide, and I find the current version usable: https://louisabraham.github.io/domical/ (code)
The performance is better than the native interpreter (I thought it deserved some bold font)
and it loads faster than it downloads with my sh***y ADSL connection (the js weights 2.8 Mo).
I added a special output handler that separates stderr, stdout and the return value of the cell.

JS bindings in OCaml might be possible, but I don't think it is desirable for the moment
because the strong type system of OCaml would make the code very ugly.
If somebody really needs it, please tell me.

Big thanks to Michael Droettboom who provided great support!

Cheers,
Louis

P.S.: If case you are curious, Domical is an anagram of iodcaml.




--
You received this message because you are subscribed to the Google Groups "iodide-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to iodide-dev+...@googlegroups.com.

To post to this group, send email to iodid...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/iodide-dev/745e56c8-b51a-4be7-9524-fbf96d2e2312%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "iodide-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to iodide-dev+...@googlegroups.com.

To post to this group, send email to iodid...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.


--
Michael Droettboom
Data Engineer
Mozilla Corporation

Alon Burg

unread,
Aug 29, 2019, 8:08:54 AM8/29/19
to iodide-dev
for some reason i'm getting an error `No evaluator available for chunks of type "ml"

any ideas?

Alon Burg

unread,
Aug 29, 2019, 8:12:23 AM8/29/19
to iodide-dev

Screen Shot 2019-08-29 at 15.12.04.png


Reply all
Reply to author
Forward
0 new messages