タイソンが必要だ。 型安全対応のPython。