Type Hinting
O que a linguagem está fazendo é colocar o máximo possível de type hinting, ou uma ajuda para o compilador verificar contratos no uso de funções. Isto ajuda detectar erros de forma mais simples e teoricamente mais cedo - o que não acontece com PHP por ser uma linguagem de script.
Esta parece ser uma tentativa do PHP de abraçar softwares mais complexos que "exigem" tipagem estática. Tipagem dinâmica dificulta a escala de projetos grandes.
Um pouco de opinião
Não entendo bem o que estão fazendo, já que o nicho onde a linguagem é forte não precisa muito disto, e se precisar de escala do projeto, Hack, só para ficar no exemplo de mesma sintaxe, faz o serviço completo. Praticamente ninguém usa Hack e isto mostra como esses recursos que ajudam escalar projetos são desnecessários para estes que o PHP atende. É só uma pena que as pessoas se encantem pelo que não é necessário. Mostra que as pessoas escolhem tecnologias como religião e não por motivos técnicos.
Não entenda errado, acho a tipagem estática importantíssima, muito, mas muito mais que OOP, que as pessoas passaram adorar em PHP sem uma razão aparente.
Estático X dinâmico
A linguagem não pode e nunca poderá ser realmente estática, sem perder compatibilidade com tudo existente, onde o ganho passa ser mais interessante. Não pode em parte pelo legado existente e em parte porque isto mudaria a semântica de forma profunda. É bom que a linguagem continue assim e dê opção, ainda que isto não seja o ideal para a robustez.
Seria melhor se a linguagem pudesse habilitar uma verificação obrigatória para quem prefere assim. Pode ser que até já exista, mas entendo se não existir, afinal a essência da linguagem continua ser de script, então seria difícil definir quando pode usar uma coisa ou outra e a tipagem dinâmica é muito importante para uma linguagem de script, que deve exigir pouca cerimônia.
É bom deixar claro que isto não deixa a linguagem mais dinâmica, muito pelo contrário, deixa ela mais rígida (nem tanto por não ser obrigatório). Pode eventualmente ajudar a dar mais robustez, o que é bom.
E é mais importante dizer que isto não tem nada a ver com OOP ou outros paradigmas. Vejo que ainda há muita confusão do que é paradigma, metodologia, princípio, fundamento, padrão, sistema, modo, tipagem, etc. Se paradigmas podem ser ortogonais, imagine outros conceitos.
Tipagem nada tem a ver com paradigma algum, embora eventualmente algum possa se encaixar melhor com alguma tipagem. E curiosamente, pasmem, OOP puro se encaixa melhor com tipagem dinâmica. Mas como as linguagens que fizeram o paradigma "estourar" são estáticas muita gente acha que é o contrário.
Conclusão
De uma certa forma a pergunta responde a si mesma. Só confirmei o que foi perguntado/afirmado. É a melhoria possível, não haverá ganho de performance, interoperabilidade, robustez total, ou outros ganhos que a tipagem estática dá. E por ser opcional não perde nada do que a dinâmica fornece.
Ela é uma melhoria interessante para usar um muitos lugares, mas não em todos. Ao contrário de OOP que, em PHP, é para usar em poucos lugares.
Quem entende de OOP sabe que a tipagem dinâmica dá polimorfismo "for free" (o custo de processamento alto existe). Muitos dos tais design patterns famosos são desnecessários neste tipo de linguagem. Isto é bom! Se você tomar os devidos cuidados! O que não é difícil em scripts.
Então acho que é bom ter a possibilidade de induzir o tipo, mas para PHP é melhor ainda que seja opcional. E pra falar bem a verdade, se é para ter tipagem estática mesmo é melhor usar outra linguagem. Isto, apesar de ser bem-vindo, é uma deturpação do que fez a linguagem ser o sucesso que é. Se as pessoas usarem bem será uma ferramenta útil. Espero que não façam como OOP que é usado onde não deveria e não faz nada útil pelo código de script.
Extra
E passado um tempo eu edito aqui para colocar que PHP 8.0 resolveu praticamente virar uma linguagem estática e determinar que PHP quer ser Java. É muito estranho e o resultado não é bom. Uma linguagem não nasce de script e se torna enterprise sem um preço alto a pagar.
Coloquei no GitHub para referência futura.
return
parece mesmo desnecessário na maioria dos casos, talvez seja por uma questão decast
como o valor veio quebrado como 1.0 (float), então teria que usar algo comoreturn (int) $a;
, se você tiver váriosreturns
fica mais fácil já induzir a saída. Mais tarde formulo uma resposta :Dreturn
. Me caiu muito bem no framework que estou fazendo. Acho que facilita a compreensão de uma implementação de uma interface, por exemplo.ArrayableInterface::toArray() : array
. Saca?