От http://www.phpdoc.org/docs/latest/guides/types.html#primitivesПочему PHPDoc не различает float и double?
похоже, что PHPDoc распознает только тип float.
Посмотрите, как PHP написан на C/C++, интересно, почему он не предлагает double как тип.
Язык, на котором написаны PHP, не влияет на то, что распознает PHP (C не имеет понятия строк, поскольку PHP их понимает, но PHP имеет их).
floating point type в PHP называется float, поэтому имеет смысл, что инструменты, созданные для php, распознают только этот тип. Внутреннее/C-представление плавающей запятой PHP абстрагируется с PHP-кодом. Интересно, что float в PHP обычно хранится в C double.
double - это тип, используемый внутренне для поплавков .... попробуйте сделать gettype() по значению с плавающей запятой ('$ x = 1.2; echo gettype ($ x);') .... но в документах PHP постоянно говорят about float –
PHPdoc распознает только float, потому что это тот тип, который имеет PHP. Почему поддержка PHP не является практической проблемой, поэтому не подходит для stackoverflow. Скорее всего, это привлечет мнения, а не ответы (если кто-то не найдет десятилетний проектный документ, в котором объясняются решения по внедрению, принятые в тот же день). – Quentin
По той же причине, что он не предлагает Enum или указатели. –