软件为特定领域特定用途产生,由代码构成。
软件的本质是解决特定领域特定问题的逻辑自动化。问题是否可解依赖逻辑是否可计算性,问题可解的成本依赖逻辑的计算复杂性。
以上针对两个逻辑的命题都可解是软件产生的前提;最终通过代码这个逻辑工具进行体现,因此代码的本质是某个特定领域逻辑的形式化表达。
这也回答了为什么核心代码和普通代码的差异所在,其差异本质不是代码本身,而是代码承载的逻辑复杂度差异。解微分方程的代码要远复杂于四则运算的代码,同一领域软件产品的代码要复杂于一次性项目的代码。
软件为特定领域特定用途产生,由代码构成。
软件的本质是解决特定领域特定问题的逻辑自动化。问题是否可解依赖逻辑是否可计算性,问题可解的成本依赖逻辑的计算复杂性。
以上针对两个逻辑的命题都可解是软件产生的前提;最终通过代码这个逻辑工具进行体现,因此代码的本质是某个特定领域逻辑的形式化表达。
这也回答了为什么核心代码和普通代码的差异所在,其差异本质不是代码本身,而是代码承载的逻辑复杂度差异。解微分方程的代码要远复杂于四则运算的代码,同一领域软件产品的代码要复杂于一次性项目的代码。
本文标题:代码的本质
本文链接:https://www.haomeiwen.com/subject/njyhettx.html
网友评论