Euler

Euler es un lenguaje de programación declarativo y funcional que admite la diferenciación automática. Fue diseñado por investigadores de la Universidad de Washington y debe su nombre al matemático Leonhard Euler. Euler es un lenguaje de tipado estático con inferencia de tipos. Tiene una sintaxis sencilla inspirada en ML y Haskell. Los programas se escriben en un único archivo y se ejecutan desde el nivel superior. Euler soporta la diferenciación automática, lo que significa que el programador no necesita escribir derivadas a mano. Esto facilita la escritura de programas que optimizan funciones o resuelven ecuaciones diferenciales. Euler es de código abierto y está disponible bajo la licencia MIT.