Mercury (langage)
langage de programmation / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Mercury (langage)?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir Mercury.
Mercury est un langage de programmation fonctionnel et surtout logique, développé à l'Université de Melbourne, Australie. Mercury est déclaratif. Il a été inspiré par Prolog (pour la partie logique) et, dans une moindre mesure, Haskell pour la partie fonctionnelle[2].
Mercury | ||
Date de première version | ||
---|---|---|
Paradigmes | Programmation logique | |
Auteur | Zoltan Somogyi | |
Dernière version | 22.01.8 ()[1] | |
Typage | Fort, statique | |
Influencé par | Prolog | |
Système d'exploitation | Multiplate-forme | |
Licence | Licence publique générale GNU | |
Site web | http://mercurylang.org | |
Extension de fichier | m | |
modifier |
Mercury a une syntaxe et un mode de fonctionnement proches du langage Prolog. Cependant, il permet l'addition de types et de modes qui guident le compilateur dans la génération de code efficace[3],[4]. Ceci a permis a ses auteurs d'appeler Mercury "Le langage de programmation logique le plus rapide du monde" [2].
Mercury n'inclut pas le "cut" et les entrées-sorties de Prolog, car elles ne sont pas déclaratives. En Mercury, le code non déclaratif doit être explicitement marqué comme tel. Les entrées-sorties utilisent un système de types linéaire.