Сколько intellisense я должен ожидать для jQuery в VS2008?

Вы должны вычесть тип twice, начиная с его параметров.

Начнем с x, он имеет тип x :: _, но мы понятия не имеем, что это такое, давайте назовем его тип a: x :: a.

Тогда у нас есть f, это функция, из f x мы можем сказать, что она принимает один аргумент типа a: f :: a -> _, давайте назовем новый неизвестный тип b: f :: a -> b.

Итак, f x должно быть типа b: (f x) :: b верно?

Но из f (f x) мы можем сказать, что (f x) должно быть a, поэтому мы можем догадаться, что a и b на самом деле одного типа, поэтому мы можем отбросить b и Скажите это f :: a -> a.

И теперь мы можем сказать, что это за тип twice: это функция, которая принимает функцию a -> a и значение типа a и возвращает результат функции первого аргумента (поэтому снова a).

Итак, у нас есть twice :: (a -> a) -> a -> a.