tipizzazione statica è una particolare politica di tipizzazione, ovvero di assegnazione di tipi alle variabili. Nei linguaggi a tipizzazione statica,...

semantico, circa la tipizzazione dei dati e all'uso dei dati in relazione al loro tipo. L'opposto della tipizzazione forte è la tipizzazione debole. Questa...

riferimento. In informatica e programmazione, la tipizzazione dinamica è la politica di tipizzazione, ovvero di assegnazione di tipi alle variabili, in...

con tipizzazione statica; C++ e Java permettono sia tipizzazione statica che dinamica; Lisp, Visual Basic e Python sono linguaggi con tipizzazione dinamica...

La tipizzazione dinamica può essere una caratteristica molto potente. Se si implementano classi container usando linguaggi a tipizzazione statica come...

in uso a Google, mantenendo però le loro caratteristiche utili: Tipizzazione statica ed efficienza in fase di esecuzione (come il C) Leggibilità e usabilità...

linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, che si appoggia sull'omonima piattaforma software di esecuzione...

trattare argomenti unificabili alle pagine Tipizzazione forte, Tipizzazione dinamica, Tipizzazione statica e Sottotipo (informatica), che potrebbero confluire...

lista. Le caratteristiche chiave comprendono l'immutabilità, la tipizzazione statica, e l'interoperabilità con HTML, CSS, e JavaScript. Tutti i valori...

impone Tipizzazione statica – assegnazione di tipi alle variabili Tipizzazione tissutale – determinazione degli antigeni MHC di classe I Tipizzazione del...

sintassi ricorda quella di ALGOL, Pascal e Ada. Eiffel ha una tipizzazione forte statica, e una gestione automatica e affidabile della memoria (tipicamente...

0.1, è stata pubblicata a gennaio 2012. Kotlin è un linguaggio a tipizzazione statica e forte, ed è particolarmente orientato verso la programmazione a...

dimensione arbitraria). Zig è un linguaggio compilato e fa uso di tipizzazione statica, con inferenza di tipi, tipi generici, e riflessione. Il compilatore...

Linguaggio di programmazione Programmazione funzionale Tipizzazione forte Tipizzazione statica Valutazione lazy Miranda (linguaggio di programmazione)...

_Noreturn applicabile alle funzioni; Le asserzioni statiche mediante la parola chiave _Static_assert (Static Assertions); La funzione quick_exit per la terminazione...

Fortran è un linguaggio quasi sempre compilato, imperativo, con tipizzazione statica delle variabili, progettato principalmente per il calcolo scientifico...

esplicitamente a livello sintattico subclassing e subtyping. In linguaggi con tipizzazione statica ed esplicita, la sottotipizzazione viene supportata attraverso il...

interrogazione, gestione database Paradigmi programmazione dichiarativa Tipizzazione statica, forte Estensioni comuni .sql Influenzato da Datalog e logica del...

stata distribuita a fine dicembre 2011. Ceylon è un linguaggio a tipizzazione statica e, stante la vicinanza con Java, è particolarmente orientato verso...

l'uso degli oggetti, la gestione automatica della memoria e una tipizzazione statica e forte. Il compilatore Cool di riferimento è scritto in C++, e genera...

Language) è un linguaggio di programmazione funzionale, dichiarativo, a tipizzazione statica e Turing-completo, specificato dal W3C e destinato ad interrogare...

contemporaneamente sia la tipizzazione dinamica che quella statica. Questo modello di tipizzazione viene chiamato tipizzazione graduale, implementata anche...

includono l'ereditarietà multipla, le classi astratte, le funzioni membro statiche, le funzioni membro const, e i membri protetti. Nel 1990 fu pubblicato...

1969 Utilizzo General purpose Paradigmi Procedurale, Strutturato Tipizzazione Statica, debole Estensioni comuni .b Influenzato da BCPL, PL/I Ha influenzato...

linguaggio di scripting dinamico. Altre caratteristiche: Tipizzazione dinamica e Tipizzazione statica Sintassi nativa per liste, mappe ed espressioni regolari...

string>? data = []; // Deserializziamo il file usando questa funzione statica e specificando il tipo di ritorno. // Alcune funzioni richiedono che venga...

attraverso un meccanismo di garbage collection, polimorfismo parametrico, tipizzazione statica, inferenza dei tipi, tipi di dati algebrici, pattern matching e gestione...

classi un sistema di modularizzazione annotazione di tipi opzionale e tipizzazione statica, probabilmente usando un sistema di tipi strutturale generatori e...

programmazione funzionale (chiusure, espressioni lambda) supporta sia la tipizzazione statica che quella dinamica e l'inferenza di tipo supporta nativamente le...

l'ereditarietà di implementazione. Questa ereditarietà può essere sia statica, analoga ai trait dei template del C++, sia dinamica, analoga alle funzioni...

Utilizzo Linguaggio di descrizione dell'hardware Paradigmi Strutturata Tipizzazione Statica, debole Estensioni comuni .v Influenzato da SystemVerilog Modifica...