Ha van olyan kódelemző pythonhoz, ami megcsinálja a type annotationok ellenőrzését tökéletesen, akkor nincs nagyon különbség a static/dynamic megközelítés között.
Vajon van ilyen kódelemző? (Az ugye tiszta, hogy elméletben ilyen nem létezhet, hiszen a változók típusa függet az inputtól)