Давайте определим тип списка list = forall 'a, 'x. ('a -> 'x -> 'x)...

http://muaddibspace.blogspot.com/2008/01/type-inference-for-simply-typed-lambda.html - это краткое...

Я пытаюсь лучше понять, как типы вступают в игру в лямбда-исчислении. По общему признанию, много...