Меня эта тема заинтересовала с точки зрения точности типирования. Дело в том, что точно оттипировать только по 4 дихотомиям (которые даже не все дихотомиями являются строго говоря) бывает сложно. Особенно, когда сильные функции не ярко выражены. А в ответах на вопросы люди еще больше себя путают. Если человек выбирает между похожими ТИМами, то дополнительная информация может помочь.
Но если отличить квестима от деклатима мне более-менее понятно как, то статика от динамика - пока нет. Я не пойму даже, почему я статик. Употребление глаголов - это же следствие. А его выдвигают, как признак. А в чем его смысл?
