- 主题:AI 写代码确实太爽了
老鱼变了
【 在 hgoldfish 的大作中提到: 】
: 写几行需求给它。然后就刷刷刷生成一堆代码。和 Dr. lvsoft 不一样，我还会看一下它的源代码，理解理解。然后再给修改建议。AI 经常能够给出我一时半会想不到的方案出来。到这里虽然有提长，但总体提升其实一般般。
: 最爽的地方是 AI 给测试代码实在太方便了。改完代码单元测试跑一下，功能和性能都同时测清楚，上线代码再也不焦虑了！
: 直到 AI 出来，测试驱动开发这个软件工程模型才真正实用。以前都是扯蛋。
--
FROM 221.215.145.*
请收下我的膝盖 orz 醍醐灌顶
之前我还纠结rust没有语言规范 最近发现Fortran三四十岁才开始有语言规范 所以也不纠结了
【 在 lvsoft 的大作中提到: 】
: 所以我已经强调了很多遍了，rust是ai时代最重要的语言，没有之一
: 比如我现在是基本不写测试代码的。
: 曾经我也是测试先行，用一堆测试去框住结果。
: ...................
--
修改:gfkid FROM 112.224.69.*
FROM 112.224.69.*
强类型的语言很多啊 但是只有rust是特别的
rust能编译通过就几乎可以确定无bug了
实际玩玩rust就知道了
【 在 hotfix 的大作中提到: 】
: lv 老师，go也是强类型语言，就不行吗
--
FROM 112.224.69.*
@lvsoft 还是请lvsoft解惑吧
不过我感觉你这个问题不是换个rust就能轻易解决的
不过如果改进prompt 有可能能让AI发现自己的逻辑问题 这样它自己就会修改
【 在 hgoldfish 的大作中提到: 】
: 我最近修的好几个 BUG 对调个语句就解决了。Rust 能解决吗？
: 1. 应该先更新缓存再通知客户端。之前弄反了。
: 2. 双重循环的次序错了。不满足数据局部性规则。
: ...................
--
FROM 112.224.69.*
学习了
【 在 beep 的大作中提到: 】
: 这种业务顺序可以体现在类型系统里的，比如，更新缓存前的数据类型是Something，
: 更新后变成SomethingWithCacheUpdated，通知客户段的接口只接受后者，传错了必然编译不过
--
FROM 112.224.69.*
看了摘要感觉不错 没想到能有这样的书
【 在 beep 的大作中提到: 】
: 推荐读一下 Domain Modeling Made Functional: Tackle Software Complexity
: 就是在讲各种编译器保证业务逻辑的方法，只要语言有像样点儿的类型系统就可以
: 知乎上的 工业聚 也写过类似的系列文章
: ...................
--
FROM 112.224.75.*
老实说 当看到你给出的解法的时候 我理解是 用类型实现immutable data的效果
所以是否要在每一次修改数据的时候，给出一个有意义的类型来约束呢，对程序员来说，这是一个负担
但是对AI来说是否就容易很多，也许只需要用恰当的prompt告诉AI，在每一次修改数据的时候绑定一个新的有业务含义的类型，以此增加鲁棒性
【 在 beep 的大作中提到: 】
: 我记得这书是用f#写的，但是基本不影响，都看得懂。里面有些是函数式语言吃饱了撑的搞出来的各种烂模式，但大部分尤其是类型相关的实践都是实际工程用得上的
:
--
FROM 112.224.75.*
在AI时代 感觉 DDD 会越来越体现价值 因为如果模型抽象合理，那么代码生成就是水到渠成了
【 在 beep 的大作中提到: 】
: 我理解重点不是immutable，而是业务流水线上每一个不同的可区分的业务状态都用类型来区分。哪怕数据本身过了一个处理环节之后没发生变化，但所处环节位置变了，也是不同类型。如果修改数据只是变化了数据本身，并不改变其业务逻辑中的位置，那类型也不变。这两种情况也是常见的
: 但确实和immutable的表现有点相似，所以也可以理解为什么这是从functional社区里发展出来的做法。
:
--
修改:gfkid FROM 112.224.75.*
FROM 112.224.75.*
老板说你太笨了 不会使用AI 走吧
【 在 lovel 的大作中提到: 】
: 码农终于找到可以甩锅的下游了。。。
: 用ai生成自带免责说明。。
:
--
FROM 112.224.75.*
方差会很大 我觉得
【 在 pigpang 的大作中提到: 】
: AI这么厉害 以后还能报考计算机专业吗
--
FROM 112.224.75.*