Questions tagged «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} 有人可以帮我理解吗?谢谢。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.