Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

PRATIQUE DES LANGAGES FONCTIONNELS TYPES

Résumé : PRATIQUE DES LANGAGES FONCTIONNELS TYPES Dans l'approche conception on s'intéresse à l'évolution de la compilation de ML en l'illustrant par la description de deux compilateurs : CeML un compilateur de ML vers C et OCamil un compilateur d'O'CAML vers .net. On montre ensuite les capacités d'extensions (parallèle et objet) au niveau des constructions du langage ML. Cela autorise de le choisir comme langage cible de compilation pour d'autres langages. Les capacités d'interopérer entre ML d'autres langages sont alors explorées pour plusieurs plates-formes d'exécution en conservant la sûreté du typage statique. Dans l'approche développement d'applications on s'intéresse aux outils de développement de l'édition structurée à la mise au point et à l'intégration de ces outils dans une même interface. On discute ensuite sur la formation du programmeur en montrant le cadre confortable du typage statique et l'intérêt de comprendre le modèle fonctionnel avant d'aborder le modèle objet. Le déploiement d'application est illustré par plusieurs applications embarquant un compilateur ML en tant que composant de l'application.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00009013
Contributor : Emmanuel Chailloux <>
Submitted on : Wednesday, April 13, 2005 - 6:12:17 PM
Last modification on : Friday, May 29, 2020 - 4:02:25 PM
Long-term archiving on: : Friday, April 2, 2010 - 10:01:00 PM

Identifiers

  • HAL Id : tel-00009013, version 1

Citation

Emmanuel Chailloux. PRATIQUE DES LANGAGES FONCTIONNELS TYPES. Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2003. ⟨tel-00009013⟩

Share

Metrics

Record views

394

Files downloads

2123