Блог Валентина Удальцова о разработке на PHP.
Хобот @phpyhobot
https://youtube.com/@phpyh
https://vkvideo.ru/@phpyh
https://t.me/isPHPdying
Статистика: https://t.me/INOTAROBOT?start=st1219340804
Для связи используйте личные сообщения канала.
Post #886
6.08K

Typhoon учится выводить дженерики
Всю неделю контрибьютил в алгебру типов Typhoon (пока в приватном репо), в частности научился программно решать системы линейных уравнений над типами.
На скриншоте вы видите, как алгебра выводит результат вызова полиморфной функции а-ля
Аналогичный код в PHPStan (выводит верно, но с нерелевантными ошибками) и Scala.
Дальше больше...
Примечание: PHPDoc просто для понимания описываемой сигнатуры, он никак не парсится алгеброй.
Всю неделю контрибьютил в алгебру типов Typhoon (пока в приватном репо), в частности научился программно решать системы линейных уравнений над типами.
На скриншоте вы видите, как алгебра выводит результат вызова полиморфной функции а-ля
array_combine. Причём делает это с анонимной сигнатурой буквально "на весу".Аналогичный код в PHPStan (выводит верно, но с нерелевантными ошибками) и Scala.
Дальше больше...
Примечание: PHPDoc просто для понимания описываемой сигнатуры, он никак не парсится алгеброй.
- 🔥 30
- 👍 15
- 🥴 8
- ⚡ 4
- ❤🔥 2
- 🤯 2
- 😱 2
- ❤ 1



















