Orwell é uma linguagem de programação que foi criada com o objectivo de facilitar a escrita de programas que produzam resultados claros e consistentes. Baseia-se na ideia de "máquinas de oráculos", que são modelos teóricos de computação que podem ser utilizados para resolver problemas de várias maneiras.
Orwell foi concebido por uma equipa de investigadores da Universidade de Edimburgo, e tem o nome do escritor britânico George Orwell. A língua é de código aberto e está disponível para qualquer pessoa a utilizar.
Orwell é uma linguagem de programação funcional e estaticamente dactilografada que suporta a inferência de tipo. Tem uma sintaxe simples que é inspirada pela família de linguagens ML.
A filosofia central da Orwell é que os programas devem ser fáceis de ler e compreender. Isto é conseguido através de um pequeno conjunto de características, e assegurando que a semântica da língua seja clara.
Uma das características chave do Orwell é que é fácil escrever programas que geram resultados consistentes. Isto porque a linguagem tem um sistema de tipo forte, que assegura que os valores só podem ser de certos tipos. Isto significa que, se um programa for escrito correctamente, é menos provável que produza resultados inesperados.
Orwell foi também concebido para ser fácil de estender. A língua vem com uma biblioteca padrão que inclui uma gama de funções úteis, mas também é possível adicionar novas funções e tipos de dados. Isto torna possível escrever programas que são adaptados a necessidades específicas.
Em geral, Orwell é uma linguagem concebida para ser fácil de usar, e para produzir programas que são fáceis de compreender. É uma boa escolha para pessoas que queiram escrever programas que sejam fiáveis e consistentes.