Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²
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.