现在越來越觉得只有在基础设施搭配好的情况下ai才能编得更好，利好人类就是利好ai 
诸如ts、rust以及它们的编译前检查等现代特性的效果大家有目共睹 
下面开始幻想出现一门新的编程语言 

自动推理几乎所有类型
可以添加或者自动添加数学证明，保证程序绝对正确
有了近乎完美的类型和数学属性作为提示后，编译器可以尽情发挥其聪明才智
自动处理多线程，自动根据运行复杂等拆分
自动优化算法，比如某个数据分布是几乎随机的，那自动优化为快排，如果分布有规律就使用冒泡
临时运行统计，进行优化
可以像写脚本语言一样，但是编译后达到原生语言的水平（配合算法优化不敢想

尽管上面充满了幻想，但是每个部分都有相关实现 
比如数学证明，微软就有个 Dafny 语言，可以书写数学证明来保证下面的代码正确性，不会出现意料之外的情况 
又如自动优化算法，有个 Herbie 项目，可以找到数学上等价，但是对于计算机来说精...