General-purpose programming language featuring functional idioms, strong static inferred types, and a concurrency model built on managed mutability and STM.