Escher é uma linguagem de programação funcional com uma característica inovadora chamada "correspondência de padrões". A correspondência de padrões é uma forma de escrever código que é mais concisa e mais fácil de ler. É também mais flexível e pode ser utilizado para criar programas mais complexos.
Escher é uma linguagem estaticamente tipada, o que significa que pode declarar variáveis e os seus tipos antes de as utilizar. Isto pode tornar os programas mais fiáveis e mais fáceis de depurar.
Escher tem uma comunidade forte e um sistema de apoio. A língua é de fonte aberta e tem estado em desenvolvimento activo desde 2014.