正在加载视频...
视频加载失败
写程序时,代码本身根本不是最重要的东西。 Claude Code 创作者 Boris Cherny 直接点破了这个真相。 最重要的是类型签名。 为了说明这点,他给所有工程师推荐了一本书。 《Scala 函数式编程》。 但他紧接着就坦白了一个事实。 你日常工作大概率一辈子都用不上 Scala。 既然不用这门语言,为什么还要看它的书? 因为学校和普通项目里教的那套编程思路太局限了。 这本书直接颠覆你思考编码问题的方式。 看完之后,大脑会自动切换成“类型思维”。 你写下的类型签名,提前决定了程序的骨架和命运。 工具会不会冷门根本无所谓。 能彻底改变底层编码逻辑的系统,才是真正的降维打击。
16 条评论

何夕2077 (个板马版)5 个月前
Boris Cherny 说的没毛病。类型签名就是代码的骨架,你骨架歪了后面写再多都是在糊墙。 不过有意思的是,他推荐的不是 Haskell 不是 OCaml,是 Scala 那本红皮书。说明他要的不是学术洁癖,是工程里能真用的函数式思维。 现在 AI 辅助写代码越来越猛,反而更需要人把类型想清楚——你 prompt 写得再花哨,类型约束没拉好,AI 照样给你编一堆类型不安全的垃圾。

AlanJade25 个月前
这个有点马后炮了。没有很扎实的计算机理论和多年学习,人有个锤子类型思维。

加密魔导师5 个月前
类型签名确实是“设计的浓缩版”:输入/输出/约束先想清楚,代码实现只是填空题;语言换成 TS/Rust/Haskell 也一样适用。

GUO5 个月前
无论你喜不喜欢.这家公司思维超前.能做好是有原因的

Max Lee5 个月前
不就是functional programing么,cs专业必修课啊

Fluxcat.5 个月前
@grok 여기서 추천하는 책 원서제목, 저자, 한국어 번역본 찾아줘

ᎷᎥᏦᏋ ᏁᎶ5 个月前
類型思維學完了,回去上班 any 照樣飛,學了個寂寞

Winnerineast5 个月前
这和你认得字多不等于你脑子清楚一样

区块链天才 🐧5 个月前
类型思维确实很关键

creativebiglee5 个月前
타입 사고 ?? 무엇에 비유하면 이해하기 좋을까?

Jonny5 个月前
有兴趣的点这里直读:

ender5 个月前
这书我碰巧看过,看这书学FP学到monad完全云里雾里🤷

zerone5 个月前
哪怕只读了第一章节,就能获得一种完全不同的编程思维。

巴尼巴迪5 个月前
现在有ai不是很简单🤣 让claude给你写scala就行了 一句话的事儿🤣

Kyle Geeks5 个月前
挺不错的,有时间可以听一下 SCIP 这门课

xinli zhang5 个月前
@xds2000 这本书买了多年都没有看,我回去找一下
