Euler

Euler je deklaratívny funkcionálny programovací jazyk, ktorý podporuje automatické diferencovanie. Navrhli ho výskumníci z Washingtonskej univerzity a je pomenovaný podľa matematika Leonharda Eulera. Euler je staticky typovaný jazyk s typovou inferenciou. Má jednoduchú syntax inšpirovanú jazykmi ML a Haskell. Programy sa píšu v jednom súbore a vykonávajú sa z najvyššej úrovne. Euler podporuje automatickú diferenciáciu, čo znamená, že programátor nemusí písať derivácie ručne. To uľahčuje písanie programov, ktoré optimalizujú funkcie alebo riešia diferenciálne rovnice. Program Euler má otvorený zdrojový kód a je k dispozícii pod licenciou MIT.