Tutte le lingue dinamiche sono tipografiche?

Question

Con Java su un lato e Ruby/Groovy sull'altro, so che nel secondo campo sono libero di fare errori di battitura che non verranno scoperti prima dell'ora di esecuzione. È vero per tutte le lingue tipizzate dinamicamente?

Modifica: Mi è stato chiesto di approfondire il tipo di errore di battitura. In Ruby e in Groovy, è possibile assegnare a una variabile con un nome accidentale che non viene mai letto. Puoi chiamare metodi che non esistono (ovviamente i tuoi test dovrebbero prenderlo, è stato detto). Puoi fare riferimento a classi che non esistono, ecc. Ecc. Fondamentalmente qualsiasi sintassi valida, anche con errori tipografici, è valida sia in Ruby che in Groovy.

Answer 1

In Perl, se si dichiara use strict nel codice, è necessario dichiarare le variabili con my. Gli errori di battitura nei nomi delle variabili verranno catturati in fase di compilazione. Questa è una delle cose più grandi che mi manca durante la codifica in Python.

Answer 2

Per la maggior parte, sì. La digitazione dinamica e la non richiesta di dichiarazione delle variabili sono proprietà linguistiche che si trovano spesso insieme.

Tuttavia, questi non sono inerentemente correlati. Una lingua può facilmente avere una digitazione dinamica mentre richiede che i nomi delle variabili vengano dichiarati prima dell'uso. Come cita ire_and_curses, questo può essere ottenuto in Perl tramite la direttiva "use strict".

Answer 3

Ecco cosa succede quando provo a entrare nelle insidie ​​che hai menzionato in Squeak e Dolphin, due implementazioni del linguaggio dinamico Smalltalk 80.

È possibile assegnare ad una variabile con un nome casuale che non è mai leggere

Il linguaggio Smalltalk richiede variabili TEMP e istanze da dichiarare. Se provo a compilare un metodo contenente una variabile non definita, ottengo un errore in fase di compilazione.

| anArray | 
anArrray := Array with: 2 with: 1. "Unknown variable anArrray" 

creazione di variabili dinamicamente non è qualcosa linguaggi dinamici devono consentire. C'è una differenza tra dichiarazioni senza tipo e nessuna dichiarazione.

---

È possibile chiamare i metodi che non esistono

La questione compilatore un avviso se si utilizza un selettore (metodo vale a dire nome), che è del tutto sconosciuta.

Il compilatore non si preoccuperà se chiamo il metodo paint su un array perché c'è un'altra classe nel sistema che implementa paint. Questo errore verrà rilevato solo in fase di esecuzione.

Se tuttavia chiamo il metodo sortt (mentre intendo chiamare sort) il compilatore genera un avviso. Durante lo sviluppo dall'alto verso il basso è possibile procedere con questi avvertimenti.

| anArray | 
anArray := Array with: 2 with: 1. 
anArray paint. "Runtime error. You can't paint an array but perhaps a Shape" 
anArray sortt. "Compile-time warning" 

---

È possibile fare riferimento a classi che non esiste

Questo non è consentito. Anche se in Squeak puoi creare rapidamente una nuova classe dalla finestra di dialogo degli errori, se necessario.

Answer 4

Python è typo-friendly come descritto nella domanda.

Ma questo non significa che questi 'errori di battitura' possono solo essere catturati @ runtime. Quando si utilizza un analizzatore di codice come pylint (idealmente integrato nell'ambiente di sviluppo), si otterrà 'la maggior parte' di questi in modo coerente prima di premendo 'Esegui'.