Previous week Up Next week


Here is the latest Caml Weekly News, for the week of October 12 to 19, 2010.

  1. convertion between OCaml Big_int and C
  2. Books for review in the Journal of Functional Programming
  3. Other Caml News

convertion between OCaml Big_int and C


Jianzhou Zhao asked and Olivier Schwander suggested:
> I am not sure if this is a reasonable question. Does OCaml already 
> have functions that do convertion between arbitrary-precision integers 
> big_int in OCaml and any representation of large intergers in C? The 
> implementation of big_int (otherlibs/num/big_int.*) uses nat 
> (otherlibs/num/nat.*). Nat is a customized allocation (in C) as a list 
> of native integers to represent arbitrary-precision. So converting 
> big_int into C seems possible to me. 

It seems you should have a look at the numerix library or at the OCaml 
binding for GMP. I never used any of them so I cannot guaranty there are 
really working (there are not a lot of references to them) but I think 
they are more likely to be usable on both OCaml and C side. 
Jianzhou Zhao then asked and Olivier Schwander replied:
> Thanks. Are they the MLGMP and Numerix listed in "the Caml Hump: 
> General purpose libraries :: Numeric computation" ? 
> From the documents of Numerix, it runs much faster than the big_int 
> library, although it may not be as portable as the 'nat' that big_int 
> replies on. 

Yes, there is also mlgmpidl 

Books for review in the Journal of Functional Programming


Simon Thompson announced:
The Journal of Functional Programming publishes book reviews. I have just
updated: list of books for review in the journal of functional programming,
available here:

which also has a link to a set of review guidelines. If you review a book you
get a free copy (in some cases of an e-book): the typical deadline for a
review is three months.

Other Caml News

From the ocamlcore planet blog:
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the
recent posts from the ocamlcore planet blog at

Coq 8.3:


Text to PDF:

Onotify 0.6.2 released:

Pattern matching costs:

Coq 8.3 is out !:

Running OCaml directly on top of Xen for massive performance gains in the cloud:

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt