Connexion

English version

PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

11/12/2008 Alain Frisch (LexiFi, Paris)

OCaml chez LexiFi

LexiFi est un éditeur de logiciels spécialisé dans le domaine de la finance: modélisation, gestion et analyse des produits dérivés complexes. La plus grande partie de nos applications est implémentée en Objective Caml. En fait, nous maintenons et distribuons une version de Caml étendue avec quelques traits spécifiques à notre domaine applicatif, ainsi qu'avec quelques améliorations généralistes. Nous attachons beaucoup de valeur à cette maîtrise du compilateur. Cet exposé, fort peu scientifique, abordera les thèmes suivants: - extensions généralistes développées chez LexiFi: types dynamiques, types locaux, modules de première classe, ...; - technologie de génération automatique d'interfaces utilisateur à partir de types Caml; - technologie d'interfaçage de haut niveau entre OCaml et C# / .Net; - démonstration d'un petit environnement de développement Caml destiné à nos clients.