Euler

Euler est un langage de programmation déclaratif et fonctionnel qui prend en charge la différenciation automatique. Il a été conçu par des chercheurs de l'Université de Washington et porte le nom du mathématicien Leonhard Euler. Euler est un langage à typage statique avec inférence de type. Il possède une syntaxe simple inspirée de ML et Haskell. Les programmes sont écrits dans un seul fichier et sont exécutés à partir du niveau supérieur. Euler supporte la différenciation automatique, ce qui signifie que le programmeur n'a pas besoin d'écrire les dérivées à la main. Cela permet d'écrire facilement des programmes qui optimisent des fonctions ou résolvent des équations différentielles. Euler est open source et disponible sous la licence MIT.