checking, automatic casts, reified generics, declaration-site variance, modules and build infrastructure, inline functions, operator overloading, String interpolation, pattern matching, first class IDE support, Java converter, default parameters, infix methods, destructuring declarations, and more...