Вот интересное обсуждение принципа соответствия Теннента и краткое описание Нила Гафтера :
Принцип гласит, что выражение или утверждение, когда оно заключено в замыкание и затем сразу вызвано, должно иметь то же значение, что и до того, как оно будет заключено в замыкание. Любое изменение семантики при переносе кода в замыкание, скорее всего, является недостатком языка.
Groovy язык следует этому принципу?
Ответы:
Не совсем, но почти. Все переменные, доступные во внешней области видимости, доступны в замыкании, включая «this» и члены класса. Однако returnоператор возвращается из замыкания, а не из включающей функции. Я даже не уверен, что это нарушение TCP; Я не знаю ни одного языка returnв стиле C, где в замыкании возвращается из окружающей области. У меня не было сюрпризов с использованием Groovy замыканий.