Немного теории в пятницу вечером от ChatGPT:

Лямбда-куб — это фреймворк для категоризации и описания систем типов на основе трех основных осей расширения простого типизированного лямбда-исчисления. Каждая ось представляет собой различную форму полиморфизма. Рассмотрим каждую ось:
λ→: Простое типизированное лямбда-исчисление. Это базовая система, где функции имеют типы, и полиморфизма нет.
λ2 (или λP): Добавляет полиморфные типы (Система F). Это означает, что у вас могут быть функции, которые являются параметрически полиморфными, т.е. функции, которые работают с любым типом.
λω: Вводит операторы типов, которые позволяют иметь типы, которые принимают типы и возвращают другие типы.
λPω: Сочетает как полиморфные типы, так и операторы типов.
λΠ: Зависимые типы, где типы могут зависеть от значений.
λΠ2: Сочетает зависимые типы с полиморфными типами.
λΠω: Сочетает зависимые типы с операторами типов.
λΠPω: Самая общая система, сочетающая зависимые типы, полиморфные типы и операторы типов.

Теперь давайте посмотрим, где находится PHPStan:
PHPStan — это инструмент статического анализа для PHP. Он расширяет систему типов PHP, предоставляя более тонкие проверки типов, чем сам язык. Однако система типов PHP и, соответственно, PHPStan не охватывает всю выразительность лямбда-куба.
• В PHP есть базовые аннотации типов для параметров функций и возвращаемых типов, что по крайней мере соответствует уровню λ→.
• С введением обобщений (через PHPStan и другие инструменты) PHP может имитировать некоторое поведение λ2.
• В PHP нет поддержки типов высших порядков, поэтому он не затрагивает ось λω.
• PHPStan не предлагает зависимых типов, поэтому ось λΠ не затрагивается.

В итоге, PHPStan расширяет систему типов PHP и касается аспектов λ2 благодаря поддержке обобщений. Тем не менее, он не углубляется глубоко в лямбда-куб. По сравнению с более продвинутыми системами типов, такими как Haskell или Idris, система типов PHP (даже с PHPStan) относительно проста. Тем не менее, PHPStan является ценным инструментом для разработчиков PHP, стремящихся улучшить надежность своего кода.