A new programming language centered around static type safety and runtime modularity.