Therac-25

一位有机计算机科学家批评类型化编程语言

Anthony是一位有机计算机科学家，自称是卢德主义者，他认为像Lean这样的强类型编程语言虽然可以提供可证明的属性，甚至实现一些自动编程，但它们无法捕捉现实世界“副作用”的全部范围。他将函数式编程比作一个复杂的官僚机构，将程序员与现实隔离开来，并认为忽视现实世界的开放性可能导致数字技术带来的危害。Anthony引用了Therac-25的历史案例以及函数式编程的哲学基础来支持他的观点，即代码的官僚主义会掩盖现实世界的复杂性。