The Pie language, which accompanies The Little Typer by Friedman and Christiansen - View it on GitHub