- 博客(9)
- 收藏
- 关注
原创 Lean4程序设计
的集合, 这样的矩阵的归并运算就可以用行矢量来实现, 然而, 也可以将矩阵看成列矢量的集合,S是函数符或者加上其它的算子符号, B是自变量,我们可以将矩阵看成多个。
2023-07-26 22:27:58 464 2
原创 解密编程这件事情
机器运行的前提条件就是需要“数据”, 有了数据我们需要对数据进行“编码”得到一种结构化的东西, 然后让数据"流动"起来。我在电路与函数一文中说到过程序其实是一台机器的“描述”, 而我们需要做的就是让这台机器运转起来,
2023-07-05 00:14:03 69 1
原创 类型系统理论(一)
because we have introduce the veriables into our language, 所以我们需要引入新的符号来表示变量的规则。so we change the typing judegement to be Γ⊢e:T, 表示在当前的环境中寻找一个变量。环境的引入Contents F ::= . | Γ,x:τ, 这个点可能表示这个上下文是空的, 如果不为空也就是右边那个。Example: let x = 5 in (x + x)
2023-06-11 00:37:36 92 1
原创 编程的修养
想好了才去写代码是一件非常重要的事情, 很多让往往在做一件项目的时候, 从来不去构思大致的框架, 直接上手去做, 这样导致写出来的代码一团糟。有的人很喜欢在代码中耍小聪明, 认为那样写非常的简洁, 殊不知真正的简洁是建立在语义上的明确上的。很多程序员比较喜欢炫耀自已写出多少多少万行的代码, 仿佛代码的数量就是衡量一个程序员编程水平。的标准, 然而并不是这样, 衡量一个程序员的代码水平, 我认为主要从下面两个方向来看。对于这一点我还没有一个很好清晰的认知, 等过段时间我来进行补充。
2023-05-28 21:25:37 284
原创 随手小记录
每一个函数中都被绑定了一个this, 引用, 这个this引用指向当前的对象,是来自于obj.x这个引用的, 所以这个引用将obj这个对象传递给x()这个一个表达式, 这个表达式有四个部分组成,内部可以通过this来访问到obj。对象方法调用的时候, 函数。
2023-05-20 23:16:26 46 1
原创 构造/析构函数的误解
B: 这个构造函数是用来初始化闭包(一个实例)的不是用来创建对象, 也就是在内存中分配一块空间。B: 这个a变量是一个自由变量, 所以是在栈上面创建的, 它有编译器自动分配。A: 对象和构造函数的关系。
2023-04-28 22:54:47 55 1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人