strong typing - definizione. Che cos'è strong typing
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è strong typing - definizione

MAJOR CLASS OF TYPE SYSTEM, IN WHICH COMPATIBILITY AND EQUIVALENCE OF DATA TYPES IS DETERMINED BY EXPLICIT DECLARATIONS AND/OR THE NAME OF THE TYPES
Nominative typing; Nominal typing; Nominative type system

strong typing         
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
<programming> Strict enforcement of type rules with no exceptions. Incorrect type usage can be detected either at run time or at compile time. Strong typing catches more type errors than weak typing, resulting in fewer hard errors. In a strongly typed language, conversion between types requires the use of explicit conversion functions as opposed to implicit type coercion. Typing strength is a continuum; ML is more strongly typed than Java, which is more strongly typed than C. Strong or weak typing is independent of the choice between static typing and dynamic typing. Among strongly typed languages, Ada, Java, Haskell and ML are statically typed, whereas Python and Ruby are dynamically typed. (2004-07-20)
strongly typed         
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
Strong and weak typing         
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
In computer programming, one of the many ways that programming languages are colloquially classified is whether the language's type system makes it strongly typed or weakly typed (loosely typed). However, there is no precise technical definition of what the terms mean and different authors disagree about the implied meaning of the terms and the relative rankings of the "strength" of the type systems of mainstream programming languages.

Wikipedia

Nominal type system

In computer science, a type system is a nominal or nominative type system (or name-based type system) if compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another. Nominal type systems contrast with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.