Euclid est un langage de programmation polyvalent créé par Bob Harper et Paul Hudak à l'université de Yale. Il doit son nom au mathématicien grec Euclide d'Alexandrie. Le langage est basé sur le paradigme de la programmation fonctionnelle et prend en charge l'évaluation paresseuse, les fonctions d'ordre supérieur et le ramassage des déchets.
Le langage a été conçu pour être facile à apprendre pour les étudiants et pour être adapté à l'écriture de grands programmes. Il possède une syntaxe simple et un système de types puissant. Euclid dispose également d'un riche ensemble de bibliothèques pour diverses tâches telles que le travail avec des matrices, la résolution d'équations différentielles et la création d'interfaces utilisateur graphiques.
Euclid est un langage à typage statique, ce qui signifie que toutes les variables doivent être déclarées avec un type avant de pouvoir être utilisées. Le système de types est très expressif et permet une large gamme d'annotations de types. Euclid supporte également l'inférence de type, ce qui signifie que le type d'une variable peut être automatiquement déduit du contexte dans lequel elle est utilisée.
Euclid met l'accent sur les principes du génie logiciel. Il est possible d'écrire des programmes en Euclid qui sont très lisibles et faciles à maintenir. Le langage supporte également divers outils de développement logiciel tels que le contrôle de version, les générateurs de documentation et les cadres de tests unitaires.
Euclid est un langage open source publié sous la licence Apache 2.0.