A strictly typed, procedural language designed to make algorithmic thinking transparent and accessible.