22-05-2015, 07:49 PM
Non, pour moi, PHP n'est pas utilisé correctement si le codeur considère que telle méthode doit retourner tel type de donnée (ce n'est pas un paradigme du langage).
Pour l'inférence de Scala (j'en connais peu, mais bon je vais quand même la ramener :p ), c'est pareil: le retour des méthodes est peut-être typé, mais l'inférence implique qu'on manipule une variable dont on ne connait pas le typage réel, donc les appels à des méthodes / opérateurs (comme +) seront indéterminés à la "compilation".
Pour l'inférence de Scala (j'en connais peu, mais bon je vais quand même la ramener :p ), c'est pareil: le retour des méthodes est peut-être typé, mais l'inférence implique qu'on manipule une variable dont on ne connait pas le typage réel, donc les appels à des méthodes / opérateurs (comme +) seront indéterminés à la "compilation".