В php-src предложили Scope RFC и формальную спецификацию PHP

После двух критических багов в движке PHP Брайан Нгуен предложил формальную спецификацию байткода и парсера и мораторий на новые фичи до появления четырёх независимых реализаций. Мейнтейнеры ответили, что проблема в деньгах и нехватке людей на багфиксы. Также обсуждается Scope RFC Фроде Бёрли, дающий каждому запросу собственную идентичность.

• Нгуен предложил спецификацию байткода и парсера с исполняемой семантикой в K и PLT Redex
• Гарфилд: «это денежная проблема» — нужны спонсоры PHP Foundation или штатные разработчики
• Scope RFC даёт HTTP-запросу, задаче очереди и CLI-команде собственную идентичность и состояние
• Из 831 первого PR в php-src приняли 418; с ИИ-описаниями принимают ~20% против 55%