static-typing

16calore

6risposta

Sto cercando un compilatore front-end Lua che viene controllato in fase di compilazione, ma emette codice byte standard Lua 5.1 (che ha solo i tipi di runtime). Quello che voglio è una discreta quanti

14calore

2risposta

Quando è utile digitare manifest di sqlite?

sqlite utilizza qualcosa che gli autori chiamano "Manifest Typing", che in pratica significa che sqlite è digitato in modo dinamico: è possibile memorizzare un valore varchar in una colonna "int" se s

84calore

5risposta

Il casting Java introduce un sovraccarico? Perché?

C'è un sovraccarico quando lanciamo oggetti di un tipo su un altro? O il compilatore risolve tutto e non ci sono costi in fase di esecuzione? È una cosa generale o ci sono casi diversi? Ad esempio, su

31calore

9risposta

Esiste un linguaggio di programmazione compilato * con una digitazione dinamica, forse anche debole?

Mi chiedevo se v'è un linguaggio di programmazione che compila in codice macchina/binario (non bytecode poi eseguito da una macchina virtuale, che è qualcosa di completamente diverso se si considera b

33calore

4risposta

Esistono linguaggi di script incorporati e tipizzati in modo statico?

Mi chiedo se esistano linguaggi di script incorporati e tipizzati staticamente. Python, JavaScript, ecc. Sono ottimi linguaggi, ma sono tipizzati dinamicamente (cioè i tipi vengono controllati in fase