A friendly programming language from the future.