idk about the others but much of Guido's development energies the past few years have been spent building Python's gradual static typing system.