Resultado de búsqueda
"Strong typing" generally refers to use of programming language types in order to both capture invariants of the code, and ensure its correctness, and definitely exclude certain classes of programming errors.
22 de abr. de 2010 · They (incorrectly) use "strong" and "weak" to mean "static" and "dynamic", in which case they (incorrectly) are using "strongly typed" and "statically typed" interchangeably. They use "strong" and "weak" to compare properties of static type systems. It is very rare to hear someone talk about a "strong" or "weak" dynamic type system.
Strong vs. weak typing; Major categories; Static vs. dynamic; Manifest vs. inferred; Nominal vs. structural; Duck typing; Minor categories; Abstract; Dependent; Flow-sensitive; Gradual; Intersection; Latent; Refinement; Substructural; Unique; Session
27 de abr. de 2024 · Strong typing: A type system that I like and feel comfortable with; Weak typing: A type system that worries me, or makes me feel uncomfortable; Given the age and informality of the source, is this claim true? What authoritative definitions are there for "strong" and "weak" typing, and is there disagreement on these terms between ...
implicit with optional explicit typing static Cython: strong implicit with optional explicit typing nominal (extension types) and structural (Python) dynamic with optional static typing D: weak: explicit nominal static Dart: strong: gradual typing nominal static with optional dynamic typing Dylan: strong dynamic Eiffel: strong ...
16 de abr. de 2021 · Strong and weak typing is a set of concepts different from the concepts of static and dynamic typing. Because they’re distinct sets of classifications, a programming language can be statically or dynamically typed, and at the same time, it can be strongly or weakly typed.
A number of different language design decisions have been referred to as evidence of "strong" or "weak" typing. Many of these are more accurately understood as the presence or absence of type safety, memory safety, static type-checking, or dynamic type-checking.
