别，现在计算机哪怕手机都算力极度浪费，函数式已经如火如荼，出门跟人不聊函数式都觉得没面子😄
你提到的技术吾感到不明觉厉，请问跟Apple Siri这种“智能”程序有关联吗？
Siri 用到什么绝技没有呢？（我猜跟大数据，数据挖掘什么的有关，只是猜，没有接触过）
咱们挖个币吧！统计个正态分布也行。
百度一下 卷积神经网络。
编程语言的核心是编译器，如果将来的人工智能能强大到直接理解人类的语言并生成优化后的代码，那还需要编程语言吗？
发挥一下你的想象力吧！
吾在这里疑问的就是第一个版本啊，后面版本就跟宏一样
Lisp writes codes that write codes.
Lisp是写代码的代码，这可是家喻户晓的呀，包含了Common Lisp本身，就像吾喜欢的递归
就像我们会生一个会生孩子的孩子，也算是递归，吾问人类第一个祖宗是那里来的？汇编就当作原始单细胞生物
@LdBeth 吾猜想合乎情理乎？
这里谈的很有Meta/元 的味道，Facebook现在的meta感觉也有点这个味道，就是要 追本溯源
请问现在synthesis方向有什么主流的研究方向吗?能不能尝试多模态合成来提升准确率啊 
，我读了一些program by example，program by trace，还有Synthesis from Refinement Types的论文，但是感觉能够解决的问题还是有些过于简单了，离真正的能用还有很远的距离。最近使用AI的方法基本都是GPT在编程语言的数据集上finetune了一下，感觉并不是很靠谱 。
谢谢！不过Sumit Gulwani是不是不怎么做基于神经网络的synthesis啊，而且我看他近两年似乎发的论文较少，专利偏多 我自己之前看的较多的是MIT Armando Solar-Lezama组的论文，每年他们组都有AI的顶会文章。