Anthony是一位有机计算机科学家，自称是卢德主义者，他认为像Lean这样的强类型编程语言虽然可以提供可证明的属性，甚至实现一些自动编程，但它们无法捕捉现实世界“副作用”的全部范围。他将函数式编程比作一个复杂的官僚机构，将程序员与现实隔离开来，并认为忽视现实世界的开放性可能导致数字技术带来的危害。Anthony引用了Therac-25的历史案例以及函数式编程的哲学基础来支持他的观点，即代码的官僚主义会掩盖现实世界的复杂性。 AI
影响 认为当前的编程范式，包括与AI相关的范式，可能会掩盖现实世界的复杂性并导致危害。
排序理由 该条目是一篇由具名个人撰写的评论文章，讨论了编程语言的局限性及其与现实世界危害的关系。
在 Mastodon — sigmoid.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
