The goal is to be as &quot;true&quot; as possible by default with extra flags to trade some exact semantic aspects for performance. E.g. overflow semantics, bounds checks, null safety etc.<p>Apart from the base language we&#x27;ll also introduce some language&#x2F;library extensions to make lower-level programming that is going to be limited Scala Native &quot;dialect&quot; of Scala. E.g. pointers, structs, stack allocation, extern objects etc.