A statically-typed, actor-oriented programming language for concurrent and distributed systems.