A static programming language that looks dynamic