编程语言(PL)
文章平均质量分 63
关于语义, 关于编程语言设计, 关于程序设计
「已注销」
这个作者很懒,什么都没留下…
展开
-
解密编程这件事情
机器运行的前提条件就是需要“数据”, 有了数据我们需要对数据进行“编码”得到一种结构化的东西, 然后让数据"流动"起来。我在电路与函数一文中说到过程序其实是一台机器的“描述”, 而我们需要做的就是让这台机器运转起来,原创 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 · 286 阅读 · 0 评论 -
随手小记录
每一个函数中都被绑定了一个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 评论 -
如何 “区分”值类型与引用类型
值类型与引用类型原创 2023-04-27 21:21:03 · 128 阅读 · 1 评论 -
编程语言设计
下面是别人设计一种新的编程语言, 下文是关于其语法, 这是最精华的部分。原创 2023-04-23 21:04:50 · 133 阅读 · 1 评论