...but that it is based on a new programming model. Many ideas are coming from the programming languages research community. All code will be type-safe and memory-safe. Interaction with the OS and other processes will make much more use of immutable data structures. Concurrency will be pervasive. It will be like one giant Erlang environment.