[英]Types and Programming Languages: What does Abb stand for?
在 TAPL 的 fullsimple 類型示例中。 TmAbb 代表什么?
| TmVar(fi,n,_) ->
(match getbinding fi ctx n with
TmAbbBind(t,_) -> t
| _ -> raise NoRuleApplies)
翻閱這本書,似乎“Tm”代表“術語”,但我在任何地方都沒有看到“Abb”。
但是,我下載了代碼(fullsimple.tar.gz),正如你所說,有一個構造函數“TmAbbBind”。 這是一種約束,而不是一種術語。 特別是它似乎是一個術語的綁定和一個可以通過名稱查找的關聯可選類型。
所以“術語縮寫綁定”就是我猜的意思。 即,它是術語縮寫所必須的東西。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.