擬似コード：制約を理解する...

Question

制約に基づく静的コード解析についての本を読んでいます。 （名称：プログラム解析の原則）そこには、私は、このコードスニペットを見つけました：f gはg 7になり、なぜ私が理解

f g + f (g h) 
|   | 
v   v 
g 7   f h 
       | 
       v 
      h 7 

：

let f = fn x => x 7 
    g = fn y => y 
    h = fn z => 3 
in f g + f (g h) 

と解釈されます。

しかし、なぜf (g h)はf hと解釈されますか？それはg h 3でなければならないでしょうか？ g h最初の式f (g h)で

Answer 1

は（g定義に従って）hとして解釈され、fより適用されます。