Mots-clés

• Langages de haut niveau
• Qualité logicielle
• Lisp, Scheme, Python

Motivation

La première étape de la création d'un système d'exploitation complètement libre peut être considérée comme presque terminée. Nous avons plusieurs noyaux, bibliothèques de base, outils de programmation système, et beaucoup plus.

La deuxième étape, déjà bien commencée, concerne la création d'applications. Elle diffère de la première par un aspect crucial : nous n'avons pas de spécification des applications, alors que pour la première étape, plusieurs spécifications existent : ANSI/ISO C, Posix, etc. Cette étape nécessite donc plus d'expérimentation. Des langages et des environnements de développement très évolués sont par conséquent essentiels pour l'écriture d'applications.

Pour les développeurs de logiciels libres, la productivité est essentielle, pour la simple raison qu'un grand nombre de ces développeurs ne sont pas payés pour ces développements. C'est donc encore une bonne raison à l'utilisation de langages de très haut niveau.

Finalement, l'utilisation de langages de ce type est nécessaire pour la qualité (robustesse, correction, maintenabilité) des applications développées.

L'objectif de ce thème est de faire l'état de l'art dans les langages et systèmes de très haut niveau pour le développement d'applications, en réunissant les développeurs de langages de haut niveau tels que Lisp (Common Lisp, Emacs Lisp), Scheme (Guile, Kawa, etc), Python, etc.

Sous-thèmes

• Lisp (Common Lisp, Emacs Lisp)
• Scheme (Guile, Kawa, etc.)
• Python

Programme

Mercredi 5 juillet

Les autres jours sont dédiés à la conception et à la programmation.