The carrot programming language. It aims to be: Concise but still readable As simple as possible, minimizing multiple ways to do one thing Statically checked