写点什么

范畴论

0 人感兴趣 · 1 次引用

  • 最新
  • 推荐

写给程序员的可逆计算理论辨析补遗

可逆计算理论是作者试图从物理学的基本原理出发来解释软件开发实践的时候所发现的一种面向演化的软件构造理论,所以它的方法论来源不是计算机科学本身,而是理论物理学,它所描述的是一种程序员不太熟悉的、相对抽象的软件构造规律。我在可逆计算理论的方法论

范畴论_范畴论技术文章_InfoQ写作社区