PRATIQUE DES LANGAGES FONCTIONNELS TYPES - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2003

PRATIQUE DES LANGAGES FONCTIONNELS TYPES

Emmanuel Chailloux

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.
Fichier principal
Vignette du fichier
tel-00009013.pdf (2.38 Mo) Télécharger le fichier

Dates et versions

tel-00009013 , version 1 (13-04-2005)

Identifiants

  • HAL Id : tel-00009013 , version 1

Citer

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

Partager

Gmail Mastodon Facebook X LinkedIn More