推荐文章：Seemingly Impossible Swift Programs - 
www.fewbutripe.com
编辑简评：本文借助 “Swift 中判断函数相等性” 的命题极力使用简单的描述和循序渐进的过程来讲解复杂的拓扑数学。
在建设性数学中，任何命题都可以转化为类型，任何证据都可以转化为这种类型的值。这使得我们能够将函数抽象成计算过程和返回值。在拓扑数学中，无限多数据的行为也会表现得像有限集合。 这使得我们可以证明这些计算过程的相等性。
虽然论证的过程和结果对于日常的 Swift 开发并没有用，但希望它们可以让你对数学燃起兴趣并感到敬畏。要知道数学已经能够产生这样一个违反直觉的结果，并对其原因进行极其简洁的解释。你甚至可以相信数学是指导你如何更好完成编程的灯塔。这些简单的数学结构（Functions, Monoids）构成了抽象的强大基础，而不像项目中的那些设计模式，过于复杂且只解决特定问题。
更多优质内容，请查看本周周报：
www.fewbutripe.com编辑简评：本文借助 “Swift 中判断函数相等性” 的命题极力使用简单的描述和循序渐进的过程来讲解复杂的拓扑数学。
在建设性数学中，任何命题都可以转化为类型，任何证据都可以转化为这种类型的值。这使得我们能够将函数抽象成计算过程和返回值。在拓扑数学中，无限多数据的行为也会表现得像有限集合。 这使得我们可以证明这些计算过程的相等性。
虽然论证的过程和结果对于日常的 Swift 开发并没有用，但希望它们可以让你对数学燃起兴趣并感到敬畏。要知道数学已经能够产生这样一个违反直觉的结果，并对其原因进行极其简洁的解释。你甚至可以相信数学是指导你如何更好完成编程的灯塔。这些简单的数学结构（Functions, Monoids）构成了抽象的强大基础，而不像项目中的那些设计模式，过于复杂且只解决特定问题。
更多优质内容，请查看本周周报：
展开
评论
2