To: lwn@lwn.net Subject: Caml week news From: David Mentre <David.Mentre@inria.fr> Date: 26 Mar 2001 15:19:56 +0200 Hi all LWN editors, Here is latest news in the Caml world. BTW, if you have a prefered presentation or if you need some specific information, let me know. 1. After the new release of Caml, a lot of new updates have been announced: * Camlp4 3.01 Camlp4 3.01 compatible with OCaml 3.01 has been released http://caml.inria.fr/camlp4/ * LablGL 0.95 LablGL 0.95 is an OpenGL/Mesa interface for Objective Caml 3.01, with a good type discipline. It is tightly integrated with LablTk to produce applications, but can also be combined with LablGTK. http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html * LablGTK 1.2.0 LablGTK 1.2.0 for OCaml 3.01 / GTK+ 1.2.x was just released. It improves on the previous 1.00 release in many ways, but has also a number of incompatibilities, explaining the change in numbering. You can find it at http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html LablGTK interfaces almost all of GTK+ widgets, most of GDK (the underlying drawing kit), GtkXmHTML (from gnome), and provides support for LablGTK and Glade. 2. More over, some *new* softwares have been announced: * Timbuk A Tree Automata Library can be found here http://www.irisa.fr/lande/genet/timbuk/ This library offers basic functions on Bottom-up Non-Deterministic Tree Automata: - boolean operations: intersection, union, inversion, etc... - emptyness decision, - cleaning, renaming, - determinisation, - parsing, pretty printing, - writing complete specifications or computed automata to disk - normalisation of transitions - and some more such as completion w.r.t. TRSs etc. and can be used both for compiling ocaml programs with tree automata functionnalities or at the top level of ocaml to interactively perform boolean operations (etc) on tree automata. * OCamlODBC (2.1) I'm pleased to announce the new release of OCamlODBC (2.1), an interface between OCaml and databases with ODBC support. By now tested databases are : - MySQL under Linux, - Postgresql under Linux, - OpenIngres under Sun Solaris 2.5, - DB2 under Linux, 3. Finally, here is an interesting project: * Caml Development Kit http://pauillac.inria.fr/cdk/ A few weeks ago, we started a project called "Caml Development Kit" or CDK, which would gather in one big tarball or RPM several tools and libraries, useful for Ocaml programming. For example, the CDK will include Ocaml, Camlp4, ledit, and many user-contributed libraries. A new CDK will be released at each Ocaml release (and probably more often from CVS sources), removing the need to update, compile and install many different packages everytime to have a coherent development envirronment. This project has been started by Fabrice Le Fessant and Sébastien Ailleret. Best regards, d. -- David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/ Opinions expressed here are only mine.