Has anyone heard of the Hare programming language?