Doug Slater 10月02日
编程难题与哲学思考
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_guoji1.html

 

文章探讨了编程过程中遇到的深层次问题,如依赖性问题、程序正确性、代码理解等,指出这些问题背后隐藏着哲学思考。

Programming computers is hard because, as Hal put it, it isn't about programming, and it isn't about computers.

A wizard conjuring a computer program. Generated by Dall-E

Even the most mundane of programming issues are rooted in profound questions:

While you'll overhear the questions on the left rising from the desks of developers on a Tuesday afternoon, their answers are surprisingly elusive and timeless.


References

    Program Actions as Actual CausesNull References: The Billion Dollar MistakeThe Three Levels of SoftwareTacit knowledgeCurry-Howard correspondenceWould aliens understand lambda calculus?

Fish AI Reader

Fish AI Reader

AI辅助创作,多种专业模板,深度分析,高质量内容生成。从观点提取到深度思考,FishAI为您提供全方位的创作支持。新版本引入自定义参数,让您的创作更加个性化和精准。

FishAI

FishAI

鱼阅,AI 时代的下一个智能信息助手,助你摆脱信息焦虑

联系邮箱 441953276@qq.com

相关标签

编程问题 哲学思考 程序正确性 代码理解 依赖性
相关文章