Nouveaux sujets M2

Deux nouveaux sujets M2 pour un stage chez MLstate. Pour plus de détails, cf. le billet qui introduisait les sujets de stage précédents.

Sujet : Bases de données

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Si la fiabilité du stockage lui-même, est un problème largement étudié, la fiabilité des entrées-sorties soulève de nombreuses questions qui restent à explorer. En particulier, que faut-il faire si des données manquent, si le format des données a changé, si les données ont été (re)réparties selon des critères différents des critères attendus.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur les questions d’interaction entre stockage et application web, notamment les notions de partage de données entre applications web et de mise-à-jour du format des données.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml et en OPA.

Sujet : Interaction entre bases de données relationnelles et bases de données structurées

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Le paradigme de stockage employé par la majorité des applications à ce jour est une extension du modèle relationnel, au sens où les informations sont stockées dans des tables (ou “relations”), tables prévues pour être manipulées par un être humain et liées par des clés explicites. À l’inverse, un autre paradigme de bases de données, parfois appelé “structuré”, “algébrique” ou “objet”, stocke les informations sous la forme de structures de données, prévues pour être manipulées par un programme et liées par des références implicites.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur l’unification des modèles relationnels et structurés. En particulier, l’étudiant devra concevoir et implanter des techniques permettant d’exploiter des bases de données relationnelles et des données préexistantes dans le cadre d’un paradigme structuré, ainsi que de porter au modèle structuré les outils de consultation traditionnellement exploités dans le modèle relationnel.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml, en OPA et dans divers dialectes de SQL.

Stages M2 langages de programmation

Mise-à-jour:

Merci pour toutes les (très bonnes) candidatures aux stages que nous avons proposé. Tous les stages ont été pris.

À bientôt pour la prochaine version d’OPA.

OCaml Batteries Included: Alpha 2 has landed

note: There seems to have been a WordPress bug. For some reason, the extended release notes on OCaml Batteries Included were replaced by something quite unrelated. My apologies for this.

Dear programmers, I am happy to inform you that the second alpha release of OCaml Batteries Included has landed. You may now download it from the Forge. A GODI package is also available and a Debian package should follow soon (you should be able to find the old one here) and you can read the documentation on-line.

So, what’s new in this release?

Internship in Virtual Machine Design

Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans) offer a research or engineering internship in the domain of Programming Language Design, under the supervision of David Teller (SDS) and Henri Binsztok (MLState).

OCaml Batteries Included, release 0: Where it should all have begun

After a few discussions on IRC, by e-mail and on forums, I have come to realize that both the purpose of Batteries Included and what the development of Batteries involved were quite unclear to most people — and that we should probably have started our work in quite a different manner. All these discussions have prompted a few changes and the release of a first pre-version of Batteries Included, which you may find on the OCamlForge project (you may also browse source code here and API documentation here).

This release represents what we should have produced in the first place; a simple and uniform presentation layer on top of existing libraries.

What’s up with Batteries?

A few days ago, someone asked me whether there was more to OCaml Batteries Included than Lazy Lists. The answer is a definite yes. If you have looked at the repository recently, you may have seen that there is plenty more waiting for testing and for a release.

Let’s take a brief look at what is done and what is left to do.

Improving exception-management in OCaml

Short version

Catch me if you can is a small library for OCaml 3.10. The latest release is version 0.2, which you may find here. This library improves management of errors in OCaml. It is released under the LGPL licence. It has been written by David Teller, Arnaud Spiwack, Till Varoquaux and Gabriel Scherer.

More monad exceptions for OCaml

A new version of the exception monad for OCaml is now available for download. It’s now richer, comes with extensive syntactic sugar and a brand new system of compile-time optimizations. More on this in the corresponding research paper — and whenever I find the time, on this blog.