From dynamic language with incremental typing and JIT, to a strongly typed language with type inference using AOT.

Remember the linage, Smalltalk, Self, JavaScript, Dart v 1.0.