Here is the latest OCaml Weekly News, for the week of September 27 to October 04, 2016.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00096.htmlIvan Gotovchits announced:
We are proud to announce a stable public release of Binary Analysis Platform . 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 , 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 , 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 and SCS programs, even simultaneously). Best wishes, Binary Analysis Platform Team : https://github.com/BinaryAnalysisPlatform/bap : http://binaryanalysisplatform.github.io/bap/api/v1.0.0/argot_index.html : https://github.com/ocaml/opam-repository/pull/7521 : https://www.ece.cmu.edu/programs-admissions/phd/ : https://www.cs.cmu.edu/doctoral-admissions
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00097.htmlDaniel Bünzli announced:
Due to concerns over a binary name clash with OpenWRT's package manager , 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).  https://wiki.openwrt.org/doc/techref/opkgAnil 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.docFabrice 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/).
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00101.htmlPierre 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>
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00106.htmlKakadu 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  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  http://gallium.inria.fr/~scherer/description_projets_ocaml.htmlAnil 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
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-09/msg00111.htmlContinuing 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
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-10/msg00005.htmlGerd 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
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-10/msg00006.htmlGerd 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.
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
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.