Euler

Euler é uma linguagem de programação declarativa e funcional que suporta a diferenciação automática. Foi concebida por investigadores da Universidade de Washington e tem o nome do matemático Leonhard Euler. Euler é uma língua estaticamente dactilografada com inferência de tipo. Tem uma sintaxe simples inspirada no ML e Haskell. Os programas são escritos num único ficheiro e são executados a partir do nível superior. Euler apoia a diferenciação automática, o que significa que o programador não precisa de escrever derivados à mão. Isto facilita a escrita de programas que optimizam funções ou resolvem equações diferenciais. Euler é de código aberto e está disponível sob a licença do MIT.