王垠的逆向技术观点 | AI生成和翻译
问题：来自 https://www.yinwang.org 的作者王垠有哪些不受欢迎或有争议的观点？
答案：
王垠（Yin Wang）是一位计算机科学教育家和前Google工程师，拥有超过20年的经验。他运营着博客《我当然是开玩笑》（https://www.yinwang.org），在其中分享了关于编程语言、教育、人工智能等方面的反主流观点。他的思想经常挑战科技和学术界的主流共识，并因其过于主观或不屑于既定规范而招致批评。以下是根据他的文章整理的一些他最不受欢迎或最具争议的观点，并附有简要解释：
关于编程和语言
- 面向对象编程中“万物皆对象”是一种糟糕的设计：王垠认为，在Java等语言中将原语（如整数）视为对象会导致不必要的复杂性和低效率。他称这是一个混淆语义与实现的“根本性错误”，使代码变得臃肿且难以优化。
- 编程范式（例如，函数式编程与面向对象编程）如同宗教派系：他将关于函数式编程与面向对象编程的争论斥为无意义的部落主义，将其比作那些将意识形态置于实际问题解决之上的邪教。相反，他主张在不忠于任何范式的情况下掌握核心概念。
- Rust的所有权模型过于严格，并非真正创新：尽管承认Rust的安全特性，王垠仍批评其借用规则使简单代码复杂化，且没有相应的益处，这源于他自己设计Yin语言的经验。
- 形式化验证和“程序正确性”被高估了：王垠认为，过分追求正确性的数学证明会分散编写简单、直观代码的注意力。他将其比作证明黎曼假设这样的猜想——有用但次要于构建软件的创造性行为。
关于人工智能和技术
- AI“超人视力”是一个神话和误导性炒作：他认为，声称拥有卓越图像识别能力的机器学习模型仅仅是统计模式匹配，而非真正的理解或视觉。这挑战了围绕AI进步的叙述，称其为欺骗性营销。
- Java中的checked exceptions存在缺陷，并与糟糕的联合类型设计有关：王垠是联合类型的早期支持者，他认为checked exceptions强制使用不必要的样板代码，并源于语言未能优雅地处理错误，这一观点激怒了Java的维护者。
关于教育和学习
- 中国的教育体系培养的是肤浅的知识而非深度：他严厉批评中国教育体系只是机械地模仿西方方法而缺乏真正的精通，导致毕业生在任何领域都缺乏创新思维——这是一个大胆的主张，引发了民族主义的反弹。
- 最好的学习者假装是无知的初学者：王垠将他的“学习哲学”描述为故意提出“愚蠢”的问题以揭示假设，观察他人重复可避免的错误。这种“假装无知”的方法被批评者视为傲慢或低效。
- 大提琴是世界上最难的乐器，因为教学方法不佳：在一个与技术无关的话题中，他声称大提琴的难度因有缺陷的教学法而被夸大，类似于糟糕的体育教练，并提出了激进的解决办法——这在将其视为固有挑战的音乐家中不受欢迎。
关于更广泛的技术迷思
- P与NP问题被过度炒作，并没有想象中那么具有革命性：在一个已删除（但又浮出水面）的帖子中，王垠淡化了解决该问题对改变世界的影响力，认为它不会像爱好者所相信的那样戏剧性地淘汰机器学习或破坏加密技术，这招致了傲慢的指责。
这些观点源于王垠对深层基础而非炒作的强调，但它们常因其直言不讳的语气而引发争论（例如在Reddit和Hacker News上）。他的博客混杂了英文和中文帖子，许多批评都从他关于Yin编程语言的工作中演变而来。
参考资料：