范畴和米田引理
· 2 min read
https://segmentfault.com/a/1190000018331788
对于计算机来说,没有类型,没有函数,也没有oom,什么都没有
那么我们的程序是怎么来的呢?
映射和等价
https://bartoszmilewski.com/2015/10/28/yoneda-embedding/
我一直觉得sql的各种下推优化可以用米田引理或者范畴学来描述
最近在看一些范畴学的内容,我一直觉得我的逻辑很差,经常写bug,是不是我的逻辑太差呢?
我考虑的边界有问题?
是什么边界问题呢? 是我问题没有描述清楚还是什么呢?
还是需求提供者提的需求有问题呢?
范畴学真的很神奇
或者说,映射真的很神奇
如果我们要比较两个东西,那么我们先把他们映射成一个可比较的集合里面,然后他们就能比较了.
泛型是什么?
我一直想知道