低估专家与深度认知 | AI生成和翻译
人类思维的某种模式
我注意到一种常见的人类思维模式：当某位专家对某个事物提出批评时，人们往往会认为这位专家”不懂”这个领域。这种想法在很多人身上都存在，包括曾经的我。
Dan Friedman 的故事
很多年前，我曾认为印第安纳大学的 Dan Friedman 教授对静态类型存在偏见。毕竟他是 Scheme 和《The Little Schemer》的作者，而 Scheme 是一种动态类型语言。我当时的想法是：”他只懂动态类型语言。”
但后来我见证了他令人惊叹的教学过程：
- 他用 miniKanren 实现了 Hindley-Milner 类型系统
- 他深入讲解了依赖类型（dependent types）
- 他甚至与人合著了《The Little Typer》这本关于依赖类型的著作
这时我才意识到：Friedman 教授不仅理解类型理论，而且理解得比大多数人都要深刻。他批评某些类型系统，恰恰是因为他看透了它们的本质。
启示
这个经历让我明白：当真正的专家提出批评时，往往不是因为他们不懂，而是因为他们看得太透彻。他们能看到普通人看不到的深层问题和局限性。
如今，当我看到有人对某些”权威”提出批评时，我会更加谨慎地判断。也许这些批评者才是真正看透问题本质的人。
延伸阅读：Dan Friedman 的相关著作可在此链接找到，包括《The Little Schemer》和《The Little Typer》等经典作品。