Tipizzazione statica e battitura dinamica [chiusa]

Question

Tipizzazione statica e battitura dinamica [chiusa]

#1 da (3 voti)

1

Sto sviluppando il mio linguaggio di programmazione nel mio tempo libero come hobby. È un linguaggio interpretato. Attualmente la sintassi per le variabili è questa:

%<variable> = <value>

Ecco alcuni esempi:

%test = 10
%somevar = "Hello World"

Al momento puoi semplicemente dichiarare come variabile come mostrato sopra, indipendentemente dal tipo. Puoi anche cambiare il tipo tramite il programma, se lo desideri.

Non ho mai studiato Informatica, quindi non sono a conoscenza dei pro e degli svantaggi della digitazione statica o dinamica. Ecco le mie domande:

È più veloce programmare i tipi dinamici?
C'è un grande vantaggio con la tipizzazione statica?
Questa sintassi è buona per un linguaggio statico?
Se un linguaggio che ti fa scrivere il tipo di variabile accanto quando lo crei ti permette di cambiare il tipo di una variabile in fase di esecuzione?
Devo consentire sia la digitazione statica che quella dinamica?

Sintassi di esempio:

%somevar int = 10
%another str = "Hello World"

Ecco un link al mio GitHub, se sei interessato: link

programming-languages static-typing dynamic-typing interpreters

posta Francis 16.09.2014 - 19:50

fonte

1 risposta

Leggi altre domande sui tag programming-languages static-typing dynamic-typing interpreters

Dato un numero X, come trovo da una matrice di numeri, una combinazione unica che somma fino a X e ha la somma dei quadrati più bassa? Autorizzazione dell'API Web per altre app

score 3 · Accepted Answer

Non sono sicuro che ci siano risposte buone, chiare e definitive per le tue domande, vorrei provare e aiutarti.

Non esiste una prova definitiva in un modo o nell'altro. Questo è uno dei grandi dibattiti tra i programmatori. Molti sostengono che è più veloce fare il programma a causa della mancanza di annotazioni di tipo, mentre molti altri lo contano "ma non funziona! Ora devi scrivere tutti i test che la tipizzazione statica farebbe per te!". Ci sono anche dispute che sorgono perché soluzioni diverse rispondono meglio a problemi diversi, diversi programmatori lavorano in modo diverso, ecc.
Sì, questo è ben trattato altrove.
Sure? Non hai incluso molto, ma sembra non ambiguo che è la preoccupazione principale. Sebbene si noti che i principianti generalmente sopravvalutano la sintassi sulla semantica.
Nessun. L'annotazione del tipo fornisce un contratto o una garanzia su tale variabile. La violazione di quel contratto è pessima .
Forse? È il tuo hobby Vorrei raccomandare non rendere disponibili entrambi. Sarà più facile da implementare correttamente e completamente se manterrai le cose semplici.