• 之前我在分解和组合的抽象方法一文中谈了分解decomposition和组合composition具体特点，范畴理论大师Bartosz
  • 计算机科学领域中一个重要成就是：类型理论type theory对应于一个特别的逻辑系统。Type s icon