Hello
Here is the latest Caml Weekly News, for the week of January 24 to 31, 2012.
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-01/msg00229.html
Deep in this thread, Diego Olivier Fernandez said and Pons Gabriel Scherer replied:> You don't seem to like SQL much, which is surprising as it is kind of > isomorphic to comprehension of sets (of tuples). That's why F# added > first class SQL support with comprehension-like syntax > http://msdn.microsoft.com/en-us/library/hh225374(v=vs.110).aspx This may be a little off-topic (but who cares at this point?), but I'll take the chance to do some self-advertising here. We (Jerôme Vouillon and I) have done something related a few years ago: Macaque, a DSL for writing typed and composable SQL queries in OCaml, in a comprehension syntax. http://macaque.forge.ocamlcore.org/ http://darcs.ocamlcore.org/repos/macaque/README The comparison is that we also have something capable of typing SQL queries as parts of OCaml programs. It more or less stops here, this project is much less mature than the excellent LINQ work: it's mostly a research prototype (with a very short development time: three months) that hasn't been put to real use, mostly by lack of interested users; it's understandable that the interest of the approach doesn't compensate the cost of using a small, feature-restricted and relatively arcane library when we have relatively solid SQL bindings. By limitation of the implementation, it only supports PostgreSQL (through the excellent PG'OCaml project, a pure-ocaml reimplementation of the pgsql client protocol), and in retrospect the decision to use a comprehension syntax instead of the real SQL syntax (that can be typed all the same) is a bit unfortunate. But you may still be interested, for example as inspiration if you decide to write some database stuff in OCaml -- or, why not, as a user-developer. http://pgocaml.forge.ocamlcore.org/ For other SQL stuff in OCaml, see the Sqlite3 bindings, and possible the "ocaml-orm-sqlite" project on top of it (whose approach is to use code generation rather than a query DSL or combinator library; less flexible, but result in simpler interfaces): http://www.ocaml.info/home/ocaml_sources.html https://github.com/avsm/ocaml-orm-sqlite
Archive: https://sympa-roc.inria.fr/wws/arc/caml-list/2012-01/msg00237.html
Pierre Vittet announced:I don't know if many of you use Vim to write OCaml code. I had to make some change on the official plugin in order to use the annotation as I wanted. I share my modifications in the hope that they can be useful to others : http://www.vim.org/scripts/script.php?script_id=3906. I corrected 2 bugs and add a functionnality allowing to use annotations on every .ml file opened in the editor. Until now, it looks like previously annotation were working only on the first opened OCaml file. I use my modified version without any problem for several weeks. If you try my plugin, please, keep me informed of the eventual bugs.
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/. New js_of_ocaml example: Hyperbolic tree viewer: http://ocsigen.org/ Sessions: handling state, communication & concurrency in Opa.: http://blog.opalang.org/2011/09/sessions-handling-state-communication.html libsndfile-ocaml 0.8 available: https://forge.ocamlcore.org/forum/forum.php?forum_id=821 Zermelo Proof Checker 1.0: http://caml.inria.fr/cgi-bin/hump.cgi?contrib=796 libsndfile: https://forge.ocamlcore.org/projects/libsndfile/
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.
This article has been translated to Serbo-Croatian language by Web Geeks.