О математике

эктремум бывает меньше максимума, поэтому лучше супремум, но он не всегда достижим.

А случай когда супремум равен +бесконечности особенно инересен, т.к. можно до бесконечности улучшать это расстояние

О математике

максимум есть у любой функции, даже у константы

Нужен ли в PHP полноценный type hinting?

А что это изменит?

Лучше бы нормальную модульность сделали, так чтобы можно было разделять на выполняемые скрипты и скрипты-модули, которые можно только подлючать + приватные классы и функции (имена которых доступны только в пределах модуля), типа как статические функции в С.