作为编程新手，我爱 Python 。我认为这是一个简洁好用的语言，生态丰富，官方文档细致，社区活跃。我本人目前在读研，是做应用数学里面算法方向的，做算法实验的时候，Python 简洁的语法和高质量的数值计算库使得实验编码的效率大大提高。然而 Python 的类型有点过于灵活，这使得我在写程序的时候不时感到担忧，比如担心传参的时候传入非法的数据然而 IDE 却不能提醒我。类似地，这种强大的灵活性有时也使得调试 Python 程序变得很困难。比方讲假如你的程序里有不止一处语法错误，这些语法错误可能只能在运行时才能被发现。而且似乎运行一次只能找出一处错误，你需要不断地运行才能查找到所有的语法错误。鉴于 J**ascript-> Typescript 的大获成功，为什么没有发展出所谓的 “Typthon” ？既有 Python 简易的语法，又有很好地的 Python 的互操作性从而可以轻松地继承 Python 丰富的生态和活跃的社区，借助编译器使得调试维护程序更加轻松，岂不美哉？既然 Microsoft 肯开发 Typescript ， 何不也考虑一下“Typthon”呢？感觉会是大庇天下程序员俱欢颜的大好事啊。
你想要的是 typescript 那样的生态，还是类似的语法？如果说是语法，python 本来就有 type hints 。想写类型标注，现在就可以开始，还不用预先编译。不需要再发明什么 typthon 。https://docs.python.org/3/library/typing.html
现在也有用 Python 写大型项目的了吧，Typescript 不就是这么出来的么？干这种编程语言改造工作的肯定不是只能写小项目的等闲之辈。Microsoft 大佬如云，他们自己也用的很多，按理说应该是有这种条件的。
我想到了一个原因：前端是没得选，迫不得已需要 Typescript 来曲线救国。但后端（ Python 所在的领域）有一大堆静态语言，你选择 Python 只是偏好，而不是必须。对于公司来说，“偏好”不太重要，有现成的静态语言直接拿来用就行，因此各家公司对 Typthon 的兴趣不大。而个人又没那个时间精力。
#9 您说的这个似乎有点道理。可能是觉得编译成 Python 不太划算，那么有没有可能编译成比 Python 更低级更快的机器码什么之类的？以及为什么 J**aScript 能一统前端江湖，后端却没有，感觉前端的花样反而比后端多呀。
需要有足够的动力开发，和足够的驱动力让人使用。 比如 Kotlin 是好，但让 J**a 的转动力没 JS 到 TS 那么强。要足够成功，CoffeeScript 就是一个失败的例子。最最最重要的，前端真的没得选，只能在 JS 路径上找最优解。 后端，PHP 、J**a 、Python, C#，GO 甚至 Rust c++ erlang 等等， 你想要什么风格的就有什么风格的