2 指称语义可以回答哪些问题而操作语义不能回答？ 我熟悉用于定义编程语言的操作语义（小步骤和大步骤）。我也对学习指称语义感兴趣，但是我不确定这样做是否值得。我会只是从不同的角度学习相同的材料，还是只有通过理解指称语义才能获得见识？ 14 semantics operational-semantics denotational-semantics
4 领先的旋转栅门操作员是什么意思？ 我知道不同的作者使用不同的表示法来表示编程语言的语义。实际上，盖伊·斯蒂尔（Guy Steele）在一段有趣的视频中解决了这个问题。 我想知道是否有人知道领先的旋转门操作员是否具有公认的含义。例如，我不理解以下分母的开头的运算符：⊢⊢\vdash X ：Ť1个⊢ Ť2：T2⊢ λ X ：Ť1个。Ť2 ：T 1个→ T2x:T1⊢t2:T2⊢λx:T1.t2 : T1→T2\frac{x:T_1 \vdash t_2:T_2}{\vdash \lambda x:T_1 . t_2 ~:~ T_1 \to T_2} 有人可以帮我理解吗？谢谢。 12 type-theory denotational-semantics