啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
为什么不用rust重写Nginx？
那你说什么样的是美女？
Golang与Rust哪个语言会是今后的主流？
为什么日本人口密度这么大还能住一户建，中国只能住楼房？
女性为什么不普遍跟男性那样只留个几毫米或2-3厘米短发，女性不觉得长发麻烦吗?
SwiftUI 是不是一个败笔？
老公加班过多，是逃避家庭责任吗？
2025年了 Rust前景如何?
为什么全世界无一人能实现新mac直接全功能稳定装Win 11 arm，或PC直接装macOS arm？
有没有GUI框架开发难度小，***消耗又不多，而且又跨平台？
电话：
座机：
邮箱：
地址：
