python developers want static typing