Previous week Up Next week

Hello

Here is the latest OCaml Weekly News, for the week of September 27 to October 04, 2016.

  1. BAP 1.0.0
  2. From opkg to odig v0.0.1
  3. Sklml first public release
  4. About recently dead compiler-hacking wiki
  5. Encoding "links" with the type system
  6. findlib-1.6.3
  7. omake-0.10.0-test3
  8. Other OCaml News

BAP 1.0.0

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00096.html

Ivan Gotovchits announced:
We are proud to announce a stable public release of Binary Analysis Platform
[1]. This is our tenth public release, but the first one with a stabilized API,
so now it is safe to start to use it.

Binary Analysis Platform is a framework for writing program analysis
tools, that target binary files. The framework consists of a plethora
of libraries, plugins, and frontends. The libraries provide code
reusability, the plugins facilitate extensibility, and the frontends
serve as entry points. Basically, BAP can be seen as Frama-C for binaries :)

BAP comes with a comprehensive searchable documentation [2], based on our own
fork of argot project. We also have a wiki and permanently manned chat, where
you can get help.

At the time of writing, BAP.1.0.0 didn't yet land up into the opam-repository
[3], so if you want to try it, you should use our opam-repository,

opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-repository.git

So that you can install bap and its system dependencies with

opam depext --install bap

Alternatively, you can use Vagrantfile, shipped with the main repository to
build a virtual machine provisioned with bap. Or, you can use a docker image,
e.g.,

docker run binaryanalysisplatform/bap bap /bin/ls -dasm

Finally, if you really want to play with BAP on a daily basis, and do the
research in the field binary analysis and reverse engineering, then consider
applying to the CMU PhD program and join David Brumley's research team. (You can
apply to both ECE[4] and SCS[5] programs, even simultaneously).

Best wishes,
Binary Analysis Platform Team

[1]: https://github.com/BinaryAnalysisPlatform/bap
[2]: http://binaryanalysisplatform.github.io/bap/api/v1.0.0/argot_index.html
[3]: https://github.com/ocaml/opam-repository/pull/7521
[4]: https://www.ece.cmu.edu/programs-admissions/phd/
[5]: https://www.cs.cmu.edu/doctoral-admissions
      

From opkg to odig v0.0.1

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00097.html

Daniel Bünzli announced:
Due to concerns over a binary name clash with OpenWRT's package manager [1], the
opkg project was renamed to odig.

  http://erratique.ch/software/odig

If you have installed opkg the way out is:

 opkg cache clear
 opam remove opkg  
 opam update && opam install odig
 odig ocamldoc  
 odig doc  

Thanks to David Kaloper Meršinjak and Peter Zotov for raising
the issue.  

Sorry for the inconvenience and happy doc digging,

Daniel

P.S. To package devs if there are issues with the way your docs get rendered
please get in touch on the issue tracker (if that's not due to your package
install or an ocamldoc issue itself).

[1] https://wiki.openwrt.org/doc/techref/opkg
      
Anil Madhavapeddy then said:
I have deployed an experimental documentation build for MirageOS libraries (and
dependencies thereof) using odig at:

http://docs.mirage.io

an experimental build using odoc (the new cross-referencing tool that is still
being worked on, so expected rendering bugs) is available under:

http://docs.mirage.io/odoc/

These URLs are all subject to change, but I thought it might be useful to see
the generated output for a real project. The Dockerfile that generates this site
is at: https://github.com/mirage/mirage/blob/master/Dockerfile.doc
      
Fabrice Le Fessant then asked and Daniel Bünzli replied:
> Looking briefly at the two websites, the differences are not obvious.

The main difference is that with odoc, identifiers are linked across packages,
it also should also work correctly on functor heavy code bases where ocamldoc
easily starts overwriting its own outputs. Another difference is that rendering
in odoc is not as good at the moment, the markup output needs reworking and some
elements that should be links are not linked which poses doc usability problem
and is reason why odoc is not the default doc path in odig yet.

> FWIW, `ocp-browser` can also be used to browse the API/documentation of
> installed packages in a terminal: see a screenshot at
> https://www.typerex.org/ocp-index.html#ocp-browser

Note that `odig` not only gives you access to API docs, it also gives you easy
access to the readme, changelogs, homepage, issues, etc. of packages. But it
shouldn't be too hard for `ocp-browser` to align on the conventions established
by odig, see `odig help packaging`, you could even use the Odig API (unstable
though, http://erratique.ch/software/odig/doc/).
      

Sklml first public release

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00101.html

Pierre Weis announced:
                   Easy coarse grain parallelization                    

We are glad to announce the availability of Sklml version 2.0+pl0.

What is Sklml?
==============

Sklml is a functional parallel skeleton compiler and programming system for OCaml programs.

The Sklml system is embedded into the OCaml programming language
and inherits the good properties of this functional heritage: Sklml
programs cannot go wrong (no bus error nor segmentation faults).

All Sklml programs may be run in two evaluation modes: parallel or
sequential evaluation.

The Sklml system features another salient property: for any
Sklml program the sequential and parallel evaluation modes always
return the same result. In particular, the parallel evalution mode is
deterministic and do not introduce nor hide any error (such as floating point
rounding errors).

In Sklml, parallelization is explicit and uses high-level
parallelization primitives for program parallel and data parallel usual
programming situations.

Composing the parallelization primitives is a powerful way to define more
complex or specialized parallelization schemes. For instance, the
Sklml library features a 'domain' high-level function devoted to
advanced scientific computing: indeed, the function 'mk_domain' provides a
parallel implementation of the classical 'Domain Decomposition' method to
solve Partial Differential Equations. Using the same methodology, advanced
users can define powerful parallelization functions and tune Sklml
to the specific domain at hand.

Where to get the Sklml code?
============================

The tarball is available here:
    http://sklml.inria.fr/archive/sklml-2.0+pl0.tgz

Where to get more information?
==============================

The package home page is here:
    http://sklml.inria.fr/

All constructive criticisms and propositions are warmly welcomed.

Enjoy.

Francois Clement <Francois.Clement@inria.fr>
Pierre Weis <Pierre.Weis@inria.fr>
      

About recently dead compiler-hacking wiki

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00106.html

Kakadu asked:
Compiler hacking is fun. Hacking compiler with a feature that can be
potentially appreciated is a double fun. But ocamllabs wiki is dead.
Do we have a list of crazy ideas for compiler on mantis or somewhere
else to work ourselves or give to undergraduates as a pet project?

Gasche-style lists with small descriptions like [1] are quite good. If
you have personal ones I will be happy to look on them (you can post
them there). Even in french.

Happy hacking,
Kakadu

[1] http://gallium.inria.fr/~scherer/description_projets_ocaml.html
      
Anil Madhavapeddy then said:
Umm, the above rumours of the death of the OCaml Labs wiki may be slightly premature.
https://github.com/ocamllabs/compiler-hacking/wiki/Things-to-work-on

...indicates that the project list isn't curated actively and that it's not
authoritative to avoid misleading students, but the list is still a good source
of interesting projects. Note that it's open for editing by anyone, so you are
more welcome to help out by editing and refreshing any projects in there.

Cambridge Compiler hacking sessions took a hiatus for the summer, but will
return soon for those in the region:
https://ocamllabs.github.io/compiler-hacking/

It would be great to see similar events in Paris or elsewhere if anyone is
interested in organising them!
      
John Whitington also said:
The ocamllabs wiki used to have a list of good things for beginners. In that
vein, there are a few things marked 'junior_job' here:

http://caml.inria.fr/mantis/view_all_bug_page.php

(Use 'junior_job' as the search term)
      
Kakadu replied, then Gabriel Scherer said:
> This search gives me only 3 issues that are not closed. Am I doing
> the search righ?

To look for issues tagged junior_job from
http://caml.inria.fr/mantis/view_all_bug_page.php, first reset your current
Mantis filter ("Reset filter"), then click the "Tags" link in the filter form,
that will open an input field where you can write (or select) "junior_job".

The following link also works (built using the "Create Permalink" option to get
a URL from a filter):

http://caml.inria.fr/mantis/search.php?project_id=1&resolution_id=10&resolution_id=30&sticky_issues=on&sortby=last_updated&dir=DESC&hide_status_id=-2&tag_string=junior_job
      

Encoding "links" with the type system

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00111.html

Continuing this old thread, Gabriel Scherer said:
I came back to this thread thanks to Alan Schmitt's Caml Weekly News.

Here is a fairly systematic approach to the problem, contrasting Jeremy's more
virtuoso approach. It works well when the whole set is statically defined in the
source code, but I'm not sure about more dynamic scenarios (when a lot of the
type variables involved become existentially quantified.

The idea is to first formulate a solution using logic programming. A link set
can be represented as a list of accepted sinks, and I can write a small Prolog
program, "insert" that takes a new link, and a link set, and traverses the link
set to find the link's sink in the list, and add the link's source to the list
in passing.

set([sink]) :- link(source, sink).
set(sinks) :-
  set(prev_sinks),
  link(source, sink),
  insert(prev_sinks, source, sink, sinks).

(* either the sink we want to insert is first in the list *)
insert([sink | _], source, sink, [source, sink | sinks]).

(* or it is to be found somewhere, recursively, under some other sink [s] *)
insert([s | prev_sinks], source, sink, [s | sinks]) :-
  insert(prev_sinks, source, sink, sinks).

Once you have this logic program, it is straightforward to translate it to a
GADT declaration:

type 's linkset =
  | Init : ('source, 'sink) link -> ('source -> ('sink -> unit)) linkset
  | Insert : ('source, 'sink) link * 'set1 linkset * ('set1, 'source, 'sink, 'set2) insert -> 'set2 linkset
and ('set1, 'source, 'sink, 'set2) insert =
  | Here : (('sink -> _) as 'set1, 'source, 'sink, 'source -> 'set1) insert
  | Next : ('set1, 'source, 'sink, 'set2) insert -> ('a -> 'set1, 'source, 'sink, 'a -> 'set2) insert

let _ = fun (type t1 t2 t3) (lnk1 : (t2, t1) link) (lnk2 : (t3, t1) link) (lnk3 : (t3, t2) link) ->
  let set = Init lnk1 in
  let set = Insert (lnk2, set, Next Here) in
  let set = Insert (lnk3, set, Here) in
  set
      

findlib-1.6.3

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-10/msg00005.html

Gerd Stolpmann announced:
there is a new version of findlib. It's mainly a bug fix version:

 - "ocamlfind printconf" respects the environment variable
    OCAMLFIND_CONF
 - findlib is built with the -opaque switch if detected
 - Fix the install when there are spaces in the path
 - New options: ocamlfind query -qe -qo, for suppressing
   stderr and/or stdout

There is also some experimental support for the native toplevel as
provided by https://gitlab.camlcity.org/gerd/ocamlnat. This is sill
work in progress.

The new version 1.6.3 is available on the project page:
http://projects.camlcity.org/projects/findlib.html
      

omake-0.10.0-test3

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-10/msg00006.html

Gerd Stolpmann announced:
I'm happy to announce a new test release of omake. This is a candidate
for a regular release, and if no new serious bugs are found, the
regular release will likely happen in the course of October.

Since omake-0.10.0-test2, a couple of bugs were fixed:
 - private variables in foreach loops work now as expected
 - fixed "rm -rf" so that it never follows symlinks
   (2nd attempt of a fix)
 - The "equal" function works also for arrays. This fixes
   a couple of unit tests using this feature.

Of course, all the nice work of the previous test releases is also
available, in particular the speedup for large projects, and the new
bootstrap system.

The tarball can be downloaded at
http://projects.camlcity.org/projects/omake.html. The repository is now
at Github, https://github.com/gerdstolpmann/omake. There is also an
issue tracker.

omake requires now ocaml-4.02 as minimum.
      

Other OCaml News

From the ocamlcore planet blog:
Here are links from many OCaml blogs aggregated at OCaml Planet,
http://ocaml.org/community/planet/.

ocurl releases will no longer be uploaded to forge
 http://forge.ocamlcore.org/forum/forum.php?forum_id=941

Asetmap, Bos, Hmap and Webbrowser
 http://erratique.ch/software

Topkg
 http://erratique.ch/software/topkg

Odig 0.0.1
 http://erratique.ch/software/odig

Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong
 http://jobs.github.com/positions/0a9333c4-71da-11e0-9ac7-692793c00b45

The fixpoint combinator
 http://blog.shaynefletcher.org/2016/09/the-fixpoint-combinator.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