Euclid es un lenguaje de programación de propósito general creado por Bob Harper y Paul Hudak en la Universidad de Yale. Debe su nombre al matemático griego Euclides de Alejandría. El lenguaje se basa en el paradigma de programación funcional y admite la evaluación retardada, las funciones de orden superior y la recolección de basura.
El lenguaje se diseñó para que fuera fácil de aprender para los estudiantes y adecuado para escribir programas de gran tamaño. Tiene una sintaxis sencilla y un potente sistema de tipos. Euclid también cuenta con un rico conjunto de bibliotecas para diversas tareas, como trabajar con matrices, resolver ecuaciones diferenciales y crear interfaces gráficas de usuario.
Euclid es un lenguaje de tipado estático, lo que significa que todas las variables deben declararse con un tipo antes de poder utilizarse. El sistema de tipos es muy expresivo y permite una amplia gama de anotaciones de tipo. Euclid también admite la inferencia de tipos, lo que significa que el tipo de una variable puede deducirse automáticamente del contexto en el que se utiliza.
Euclid hace especial hincapié en los principios de la ingeniería del software. Es posible escribir programas en Euclid que sean muy legibles y fáciles de mantener. El lenguaje también es compatible con varias herramientas de desarrollo de software, como el control de versiones, los generadores de documentación y los marcos de pruebas unitarias.
Euclid es un lenguaje de código abierto que se publica bajo la Licencia Apache 2.0.