Protože pokud jste někdy viděl jazyk se skutečným typovým systémem, tak, jak už tu někdo psal, dojdete k tomu, že python (a spol.) jsou jazyky s jedním tagovaným typem. Prostě když v tom reasonu napíšu (neumim ocaml, takže plus minus):
type tenJedenTyp =
| Cislo(int)
| Retezec(string)
| Bool(bool)
| Desetinne(double)
| Trida(string, tenJedenTyp, tenJedenTyp String.Map.t }
Tak mám +/- hotový celý typový systém pythonu. Dokonce i v té "strong" variantě...
Ale on typový systém s jedním typem... no je lepší než žádný typový systém, ale fakt toho moc neumí. Jako třeba staticky něco garantovat. A to vypadá, že reason umí, už třeba proto, že těch typů má trochu víc než jeden.