Typescript 如此成功，为何没有发展出所谓 “Typthon”?

作为编程新手，我爱 Python 。我认为这是一个简洁好用的语言，生态丰富，官方文档细致，社区活跃。我本人目前在读研，是做应用数学里面算法方向的，做算法实验的时候，Python 简洁的语法和高质量的数值计算库使得实验编码的效率大大提高。

然而 Python 的类型有点过于灵活，这使得我在写程序的时候不时感到担忧，比如担心传参的时候传入非法的数据然而 IDE 却不能提醒我。类似地，这种强大的灵活性有时也使得调试 Python 程序变得很困难。比方讲假如你的程序里有不止一处语法错误，这些语法错误可能只能在运行时才能被发现。而且似乎运行一次只能找出一处错误，你需要不断地运行才能查找到所有的语法错误。

鉴于 Javascript-> Typescript 的大获成功，为什么没有发展出所谓的 “Typthon” ？既有 Python 简易的语法，又有很好地的 Python 的互操作性从而可以轻松地继承 Python 丰富的生态和活跃的社区，借助编译器使得调试维护程序更加轻松，岂不美哉？

既然 Microsoft 肯开发 Typescript ， 何不也考虑一下“Typthon”呢？感觉会是大庇天下程序员俱欢颜的大好事啊。

以前有个语言叫 coffeescript

python 现在也有类型标记

@Leviathann Coffeescript 似乎不是太流行。不过你举的这个例子为什么说明没有发展出 “Typthon” 呢？

因为用屁眼通红的人，一般都是小项目或者 demo 性质，大多忙于搬砖哪有空搞这些有的没得。

你想要的是 typescript 那样的生态，还是类似的语法？ 如果说是语法，python 本来就有 type hints 。想写类型标注，现在就可以开始，还不用预先编译。不需要再发明什么 typthon 。 https://docs.python.org/3/library/typing.html

@povsister 现在也有用 Python 写大型项目的了吧，Typescript 不就是这么出来的么？干这种编程语言改造工作的肯定不是只能写小项目的等闲之辈。Microsoft 大佬如云，他们自己也用的很多，按理说应该是有这种条件的。

@DOLLOR 但是类型标注和 Typescript 那样的类型系统的差距还是很大的呀。不仅是类型的问题，还有编译器对于调试和维护相对复杂的代码也是很有帮助的。

我想到了一个原因：前端是没得选，迫不得已需要 Typescript 来曲线救国。但后端（ Python 所在的领域）有一大堆静态语言，你选择 Python 只是偏好，而不是必须。 对于公司来说，“偏好”不太重要，有现成的静态语言直接拿来用就行，因此各家公司对 Typthon 的兴趣不大。而个人又没那个时间精力。

而且，搞个 Typthon ，最后编译为 Python 代码，还得忍受运行效率低。那还不如直接用 Go, Rust, Java 之类的，既有静态编译，运行效率又高，何苦执着 Python 。