Im Gegensatz zu TypeScript, wenn Sie einer Variablen einen Standardwert zuweisen, der einen Typ hat, wird impliziert, dass diese Variable immer den Typ des Standardwerts hat. Das ist bei mypy und ty nicht der Fall.