Всю неделю контрибьютил в алгебру типов Typhoon (пока в приватном репо), в частности научился программно решать системы линейных уравнений над типами.
На скриншоте вы видите, как алгебра выводит результат вызова полиморфной функции а-ля
array_combine. Причём делает это с анонимной сигнатурой буквально "на весу".Аналогичный код в PHPStan (выводит верно, но с нерелевантными ошибками) и Scala.
Дальше больше...
Примечание: PHPDoc просто для понимания описываемой сигнатуры, он никак не парсится алгеброй.