13 posts tagged with "default"

纸带​

state(状态)​

我看到有关状态的书籍是在可计算理论相关的书籍,或者类型系统相关的书籍.

展开​

f(f(A,B),f(D,E)) f(A,B,D,E); 循环依赖 f(f)

https://segmentfault.com/a/1190000018331788

对于计算机来说,没有类型,没有函数,也没有oom,什么都没有

那么我们的程序是怎么来的呢?

映射和等价

https://bartoszmilewski.com/2015/10/28/yoneda-embedding/

我一直觉得sql的各种下推优化可以用米田引理或者范畴学来描述

最近在看一些范畴学的内容,我一直觉得我的逻辑很差,经常写bug,是不是我的逻辑太差呢?

我考虑的边界有问题?

是什么边界问题呢? 是我问题没有描述清楚还是什么呢?

还是需求提供者提的需求有问题呢?

范畴学真的很神奇

或者说,映射真的很神奇

如果我们要比较两个东西,那么我们先把他们映射成一个可比较的集合里面,然后他们就能比较了.

泛型是什么?

我一直想知道

代码是一堆字符串

代码会映射操作 然后这个就是一个编译的过程

所以编译就是一个映射的过程

很多编程语言其实都很像的,比如php和sql ,php的函数会放到一个全局的function_table 的hashmap里面,然后可以被调用. key是函数名,value是op_array

而mysql的内部函数也很类似,注册到一个hashmap里面:key是函数名,value则是相应的指针.

而类的加载方面,java和php也差不多.java的加载class其实就是反序列化的过程,然后放到内存,而php的opcache从某种程度上也是那种效果了