[[Python]]の静的型チェッカー。