Hello

Here is the latest Caml Weekly News, for the week of February 07 to 14, 2012.

1. Vim plugin
2. llpp v10
3. OCaml/MinGW
4. interval trees
5. Package installation assumptions made by odb
6. Interval programming library
7. Other Caml News

Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-02/msg00045.html

I have made a minor update of the plugin: When we print the type using
<LocalLeader>t, the type is also copied in the unnamed register. This allows
to copy it easily.

http://www.vim.org/scripts/script.php?script_id=3906
      

Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-02/msg00047.html

New version of llpp is now available (tagged v10) at
http://repo.or.cz/w/llpp.git ;

Blurb:

llpp a graphical PDF viewer which aims to superficially resemble
less(1)

Changes (relative to v7, last version being announced here):

* MuPDF grown itslef XPS and CBZ support
* Margin trimming
* Multi column mode
* Probably more, since:

llpp$ git diff --stat v7..v10 | tail -1
 11 files changed, 5206 insertions(+), 2514 deletions(-)

How to build/run: http://www.youtube.com/watch?v=9xtIqD_mHRw
      

Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-02/msg00055.html

GCC shipped with (current) MingW no longer recognizes -mno-cygwin
argument, my oline searches for a workaround were fruitless, but
turns out there is one, one can create a self specs file and
make gcc (the driver) strip -mno-cygwin from cc1 invokation. This
can be done by putting a file named "specs" into a directory listed
under "install:" in the output of `gcc -print-search-dirs' containing
following line:
*cc1: %<mno-cygwin

Hope that would save someone the trouble of making things run.
      

Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-02/msg00056.html

> I need to use an interval tree.
> 
> Biocaml has one, batteries have imap/iset, nice!
> 
> However, I have intervals of reals, not integers. :(
> 
> I want to build the tree (once), then query it with a real number
> (many times) like in: which intervals contain the query real number?
> 
> Should I convert my floats to ints (by sorting them then ranking) before
> inserting them into some existing interval tree for integers?
> I am not so concerned about the pre-processing time.
> 
> Should I write from scratch?

I wrote a segment tree (integers, not floats), which is similar.  It
wasn't very hard.  The code is here if it helps:

http://git.annexia.org/?p=virt-mem.git;a=blob;f=lib/virt_mem_mmap.ml;hb=HEAD
      

> >  Anyone have something like this but for non-overlapping intervals and
> >  allowing interval insertion and removal with merging and spliting of the
> >  internaly used intervals?
> >  
> >  Cis from Sébastien Ferré?
> >  
> >  http://www.irisa.fr/LIS/ferre/software.en.html

The Cis library (Cis for Compact Integer Sets) is
designed for representing sets of integers, but it
could easily be adapted to the insertion and
removal of intervals since it already handles
the merging and spliting og intervals.
      

> Yes, IMap / ISet (borrowed from camomile and improved) do this.  I assume
> biocaml's is the same.

Actually no, biocaml_intervalTree keeps the inserted intervals untouched, it
is in fact pretty similar to an interval multimap, with some specialized
operations. In cases when we want to describe a set of integers (vs a set of
intervals), we use ISet from Batteries. With these two structures we can
describe an interesting range of genome annotations.
      

Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-02/msg00077.html

odb is a simple ocaml program to install ocaml packages with
dependencies. I've written a document on the assumptions it makes of the
packages it's to install. By sharing this, I hope to influence library and
application developers to use a standard interface for compiling their
program.

The details are here: https://github.com/thelema/odb/blob/master/guidelines.md

Thank you for any feedback. Please bear in mind that odb is meant to be
simple, so the complexity of configuring, building and installing any packages
is expected to be in that package's build system, and not odb itself.
      

Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-02/msg00090.html

This is an interval computation library for ocaml. The download link is :
http://www.alliot.fr/code/interval.tgz

This library uses assembly code to compute all operations with proper
roundings (high/low), and currently ONLY works on intel processors.
The package has been developped for linux systems but should probably
work on windows distribution with a few tweaks.

Documentation is available in the doc/ directory in html, pdf and dvi
formats. It is extremely wise to read the whole documentation, even if
you intend to only use the interval module.

To build the library just type "make" in the main directory.

Tests are available in the TESTS/ directory. They are mainly for
debugging purpose and quite complicated. You may run them to
check that everything is working properly for your machine.
The test program runs also a speed test program for your
particular architecture.

Examples are available in the EXAMPLES/ directory. There is a
B_AND_B sub-directory with an example of a branch-and-bound algorithm
that uses interval arithmetics for function optimization (the
example is for the Griewank function, but you can substitute
any function you like).
      

As requested by Fabrice, this is the link to the web page for the library.
http://www.alliot.fr/fbbdet.html.fr
There are some more things on this page, such as an introduction to interval
programming, and to B&B techniques with interval arithmetic.
      

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

Rediscovering the RSync Algorithm:
  http://blog.incubaid.com/2012/02/14/rediscovering-the-rsync-algorithm/

gapi-ocaml v0.1 released:
  https://forge.ocamlcore.org/forum/forum.php?forum_id=823

Opa presentation at a game development meetup, GameJS:
  http://blog.opalang.org/2012/02/opa-presentation-at-game-development.html
      

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