A statically-typed, lightweight programming language