Escher je funkcionálny programovací jazyk s inovatívnou funkciou nazývanou "pattern matching". Porovnávanie vzorov je spôsob písania kódu, ktorý je stručnejší a ľahšie čitateľný. Je tiež flexibilnejší a možno ho použiť na vytváranie zložitejších programov.
Escher je staticky typovaný jazyk, čo znamená, že premenné a ich typy môžete deklarovať ešte pred ich použitím. Vďaka tomu môžu byť programy spoľahlivejšie a ľahšie sa ladia.
Escher má silnú komunitu a systém podpory. Jazyk má otvorený zdrojový kód a aktívne sa vyvíja od roku 2014.