技术栈
pl
柠檬叶子C
5 个月前
pl
·
pl理论
·
编程语言理论
·
程序语言理论
【PL理论深化】(2) 语法分析 (Syntax) | 编程语言的语法结构:文法 | 语义结构 (Sematics)
目录0x00 语法分析(syntax analysis)0x01 编程语言的语法结构:文法(grammar)
柠檬叶子C
5 个月前
pl
·
pl理论
·
编程语言理论
·
程序语言理论
【PL理论】(33) 类型系统:推导树证明 φ ⊢ e∶t | 继续定义关系:γ ⊢ e∶t
目录0x00 推导树证明 𝝓 ⊢ 𝒆 ∶ 𝒕0x01 继续定义关系:𝚪 ⊢ 𝒆 ∶ 𝒕对于程序 ,如果我们能画出一个推导树来证明:
柠檬叶子C
5 个月前
pl
·
pl理论
·
程序语言设计
【PL理论】(23) 函数式语言:let-in 示例的分解 | 谁在使用动态作用域?
目录0x00 let-in 示例的分解0x01 谁使用动态作用域?让我们详细检查这个示例的评估步骤,回忆一下 let-in 语义的推理规则: