Key differences between Church and Python

Church's type system allows low-level primitives to be handled more efficiently than in languages that take the 'everything-is-an-object' approach. Python solves the efficiency problem differently, by working as a 'surface language' that provides simplified access to numerical libraries that are written in more efficient languages, like C and C++.