Hola, @dukebody, precisamente es algo que busqué para preparar la charla y no lo encontré. Mi sensación es que la tipificación estática no está muy extendida, la verdad, y al ver que no había ni muchos artículos ni muchas charlas decidí proponer una charla en este sentido.
Incluso hay personas que opinan que añadir tipificación estática a un lenguaje como Python es una especie de sacrilegio 
. Yo en cambio pienso que es una solución fantástica para atraer a programadores/as de otros lenguajes estáticos con preocupación por perder el control de los tipos al pasar a Python… yo sinceramente viniendo de Java cuando empecé con Python es lo primero que me asustó.
Sobre todos los comprobadores que tenemos disponibles, creo que como comunidad nos hemos equivocado al no apostar por un único proyecto, por ejemplo, mypy (o el que sea, claro), porque en realidad no tiene mucho sentido que tengamos tantas alternativas. Es cierto que no todos los proyectos hacen lo mismo, pero si algo bueno tenemos en Python actualmente comparado con otras comunidades como JavaScript por ejemplo es que la comunidad Python es mucho más colaborativa y participativa, lo que impide que haya cientos de opciones para hacer lo mismo.
Para preparar las charlas me leí todos los PEP asociados (para mí preparar una charla es aprender) y si algo queda claro es que Python seguirá siendo siempre un lenguaje dinámico. Seguro que si se añade algún comprobador oficial será mypy, o casi seguro porque nunca se sabe, pero es algo que no he leído en ningún lugar. Ahora mismo que mypy no esté sincronizado con Python 3.9 también es significativo: faltan manos en mypy para que avance y mantenerlo (¿algún volutario/a por aquí? 
), por lo que si se integra como comprobador oficial obligaría a sincronizarlo completamente con las versiones de Python, con el consiguiente trabajo añadido.
Saludos 
