Un linguaggio tipizzato in modo libera può essere considerato un vero oggetto orientato?

Question

È possibile che un linguaggio di programmazione in valigia come PHP sia davvero considerato orientato agli oggetti?

Voglio dire, i metodi non hanno tipi di ritorno e parametri del metodo non hanno nemmeno un tipo dichiarato.

La progettazione della classe non richiede metodi per avere un tipo di ritorno? Le firme dei metodi non hanno parametri specificamente tipiti?

In che modo le tecniche OOP possono aiutarti a codificare in PHP se devi sempre controllare i tipi di parametri ricevuti perché la lingua non applica i tipi?

Per favore, se sbaglio, spiegami.

Quando si progettano le cose usando UML, le classi di codice in PHP senza metodi di tipo ritorno e parametri senza tipo ... il codice è davvero conforme al design UML?

Trascorri del tempo a progettare l'architettura del software, quindi il compilatore non costringe il programmatore a seguire il tuo design durante la codifica, lasciando che assegni qualsiasi variabile oggetto a qualsiasi altra variabile senza avviso di "non corrispondente di tipo".