Oz (langage)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Oz.
Oz
Apparu en 1995
Auteurs Gert Smolka, Christian Schulte, Peter Van Roy
Développeurs auteurs et d'autres contributeurs
Dernière version stable 1.4.0 (le )
Paradigmes objet, impératif, concurrent, fonctionnel, logique, par contraintes, distribué
Typage Fort, dynamique
Influencé par Prolog, CC, AKL, Lisp, Haskell, Erlang
A influencé une extension pour la programmation logique et par contraintes, dans PyPy
Implémentations Mozart
Système d'exploitation Multi-plate-forme
Licences de type BSD
Site web [1]

Oz est un langage de programmation permettant d'employer et de combiner différents paradigmes de programmation :

Oz fournit par défaut des variables logiques même s'il est possible d'utiliser des variables mutables. De même, l'évaluation est stricte par défaut, mais l'évaluation paresseuse est possible.

L'originalité de ce langage par rapport à d'autres supportant la programmation logique (d'une part) ou concurrente et distribuée (d'autre part, comme Erlang), est l'intégration de ces paradigmes dans un tout cohérent. Une abstraction unique en son genre est fournie par Oz : l'espace de calcul, qui permet d'encapsuler des calculs à des fins spéculatives et permet de combiner les aspects logiques/contraintes, orientation objet et mutabilité, concurrence et distribution, dans le même langage.

Oz est doté d'un ramasse-miettes et d'un système de gestion d'exceptions distribués.

Oz est implémenté par le système Mozart, fournissant un compilateur, une machine virtuelle et un environnement de développement utilisant EMACS pour la partie édition, un débogueur graphique supportant la concurrence et la distribution, un outil d'exploration d'arbres de recherche pour la programmation par contraintes, etc.

Le livre Concepts, Techniques, and Models of Computer Programming (MIT Press, 2004) utilise Oz comme langage principal pour illustrer les différents concepts de programmation. Il existe des cours universitaires de programmation en français basés sur Oz et ce livre.

Ce langage a été développé par trois écoles :

Remarque : l'origine du nom Oz vient du fameux conte pour enfants le magicien d'Oz.

Liens externes[modifier | modifier le code]