- 主题:我这算本版元老了吧?
就是一老头。 个人信息都是乱填的。
【 在 capstone 的大作中提到: 】
: 传说中的女地青?
--
FROM 60.222.168.*
有对这个感兴趣的全栈开发高手吗
【 在 zg1 的大作中提到: 】
: Re: 建议大家到别的版去给python作宣传!!!    2003- ...
--
FROM 115.171.23.*

rust表达能力太差了,我现在一般用Python,Python不行用go,go不行用cpp,rust一点动力都没有。
而且,我感觉现在大家是越走越回去了。
未来一定是高级语言的,我非常看好lisp。
【 在 lvsoft 的大作中提到: 】
:
: 我就是2003年all in python的。
: 最近见了一个十五年没见的朋友,他跟我咨询他儿子学计算机现在应该学啥语言,我脱口而出rust,但想了想他儿子也不是计算机的,就想改口说这只是我的个人观点,rust目前还是一门很小众的语言,而且未来也有很多不确定性,门槛还很高,不一定合适他儿子。
:
: 结果他就说当年跟我一起做项目,我在那个时候就在推荐并且自己all in了python。我当时就说未来一定是Python的,他是销售并不懂计算机,但他记得当时很多人都非常质疑我的判断。现在20年一过,时间证明了我当初的判断,所以这次我说啥他都信,回去就摁着他儿子去学rust了...
#发自zSMTH@23054RA19C
--
FROM 36.40.130.*
rust生态现在还很不完善
【 在 VincentGe 的大作中提到: 】
: rust表达能力太差了,我现在一般用Python,Python不行用go,go不行用cpp,rust一点动力都没有。
: 而且,我感觉现在大家是越走越回去了。
: 未来一定是高级语言的,我非常看好lisp。
: ...................
--
FROM 123.117.77.*
你是不是应该换个程序员字体
【 在 hgoldfish 的大作中提到: 】
: 标 题: Re: 我这算本版元老了吧?
: 发信站: 水木社区 (Sat Jul 12 19:31:25 2025), 转信
:
: 多久没有上线了啊。这个等级和这个发文哈哈。
:
: 或者是删号重新注册?
:
: 【 在 zg1 的大作中提到: 】
: : Re: 建议大家到别的版去给python作宣传!!! 2003-05-26 | 原帖已删除 1 2003-05-26 | zgl
:
: --
: 灭绝人性啊
:
:
: ※ 修改:·hgoldfish 于 Jul 12 19:31:39 2025 修改本文·[FROM: 120.37.20.*]
: ※ 来源:·水木社区 mysmth.net·[FROM: 120.37.20.*]
--
修改:hgoldfish FROM 120.37.20.*
FROM 1.202.11.*
我2008年改的python,后知后觉了
【 在 dmyk 的大作中提到: 】
: 哈哈哈
: 咱们有rust版么
--
FROM 1.202.11.*
我不搞量化,只是有段时间无聊对这个事情比较感兴趣。
至于对rust的判断,我的观点是ai coding会碾压一切语言和生态,现在的资产很快会边的一文不值。在这种情况下哪个语言能更好的配合ai coding,哪个语言就能胜出。rust在这个方向上优势很大。
【 在 zg1 的大作中提到: 】
: 我觉得这次他儿子有可能被你坑。rush没法动摇c/c++的地位。
: 话说你现在还在搞量化吗? 有一阵progtrading版热闹的时候老看到你
:
: ...................
--
FROM 116.233.45.*
未来只有两个大方向:
1. 不需要编程语言,一切都是自然语言描述,llm成为黑盒子端到端解决一切。这个方向lisp是不可能的,这个方向一定要有个语言的话那也会是yaml。
2. 需要编程语言,用强规则系统来约束和弥补llm的不确定性。这个方向的极致是走形式化验证的编程语言,rust并不是这个方向的佼佼者,但在工程语言里面rust目前是这个方向最好的。
【 在 VincentGe 的大作中提到: 】
: rust表达能力太差了,我现在一般用Python,Python不行用go,go不行用cpp,rust一点动力都没有。
: 而且,我感觉现在大家是越走越回去了。
: 未来一定是高级语言的,我非常看好lisp。
: ...................
--
FROM 116.233.45.*
lisp和yaml的表达力是差不多的,类似于声明式编程,这点比较类似的是css。因此lisp我是看好的,不论是ai生成还是自己写。
你提到的第二点很棒。
这点我没有想到,这一点好像陶哲轩在搞,不过是在数学领域。
工程方向其实感觉似乎不太行,其一是业务实际和理论是有差距的,其二是过于严格的验证最后必然就是各种黑魔法(unsafe)盛行
【 在 lvsoft 的大作中提到: 】
:
: 未来只有两个大方向:
: 1. 不需要编程语言,一切都是自然语言描述,llm成为黑盒子端到端解决一切。这个方向lisp是不可能的,这个方向一定要有个语言的话那也会是yaml。
: 2. 需要编程语言,用强规则系统来约束和弥补llm的不确定性。这个方向的极致是走形式化验证的编程语言,rust并不是这个方向的佼佼者,但在工程语言里面rust目前是这个方向最好的。
:
#发自zSMTH@23054RA19C
--
FROM 113.143.105.*
Tao只能算是在使用和进行一些推广吧
我今年学了挺久的lean和coq,写起来真的挺费脑
【 在 VincentGe 的大作中提到: 】
: lisp和yaml的表达力是差不多的,类似于声明式编程,这点比较类似的是css。因此lisp我是看好的,不论是ai生成还是自己写。
: 你提到的第二点很棒。
: 这点我没有想到,这一点好像陶哲轩在搞,不过是在数学领域。
: ...................
--
FROM 61.149.70.214