linguaggi/s03/introducton-to-types.md
... ...
@@ -27,6 +27,7 @@ Un ling strongly typed significa che le astrazioni sono garantite da linguaggio
27 27
Il c e' weakly typed es. negli array posso accedere a pos che non fanno parte degli array (es accedo alla pos 5 di un array di 4 elem)
28 28
In java (strongly typed) ha controllo su enum e controllo su array (out of bound exception)
29 29
typescript e' strongly typed
30
+Un ling strongly typed ti impedisce di fare cose, uno weakly typed no (meno)
30 31
31 32
I tipi possono contribuire a migliorare l'efficienza dei programmi. Nei linguaggi safe, i tipi aiutano a migliorare l'efficienza eliminando molti dei controlli dinamici per garantire la sicurezza. I moderni compilatori ad alte prestazioni si basano molto sulle informazioni raccolte dal type-checker per ottimizzare la generazione del codice.
32 33
... ...
@@ -58,4 +59,4 @@ if(e) x=“A”
58 59
else x = 5
59 60
```
60 61
61
-se e e' falsa, questo codice verrebbe eseguito correttamente ma il controllo statico boccia questa implementazione.
62
+se `e` e' falsa, questo codice verrebbe eseguito correttamente ma il controllo statico boccia questa implementazione.