微软能不能开发一个 「Tython」，把 Typescript 那套类型系统移植到 Python 上，写完以后直接生成优化过的 Python 代码？