The developers have also introduced runtime overflow checking in numeric operations and compile-time type enforcement ... “Some of the biggest things going on are around SQL and Python,” Zaharia says.