1/17 言語モデル論ノート
Γ->
L:bool
Γ->M:τ[1]
Γ->N:τ[2]
(if)--------------------------------------
Γ-> (if L then M else N):τ[1]Uτ[1]
p55
例外をNothing型にしているのは、if L then M else error() みたいにすると、全体の型がMになって幸せだから