Type inference 如何读取此类型lambda表达式的类型推断规则？
如何读取此类型lambda表达式的以下类型推断规则Type inference 如何读取此类型lambda表达式的类型推断规则？,type-inference,Type Inference,如何读取此类型lambda表达式的以下类型推断规则 Γ,x:η |- e:η′ _________________ Γ |- λx:η.e:η→η′
Γ,x:η |- e:η′
_________________
Γ |- λx:η.e:η→η′