An expressive type-safe programming language, tailored for efficiency and speed