Type safety
En informática, la seguridad de tipos es la medida en que un lenguaje de programación disminuye o previene los errores de tipo . Un error de tipo es un comportamiento de programa erróneo o indeseable causado por una discrepancia entre diferentes tipos de datos para las constantes, variables y métodos (funciones) del programa, por ejemplo, tratar un entero ( int ) como un número de punto flotante ( float ). La seguridad de tipos a veces se considera alternativamente como una propiedad de un programa de ordenador en vez de una propiedad del lenguaje con el que está escrito ese programa; es decir, algunos lenguajes tienen funciones de seguridad de tipos que pueden ser evitadas por programadores que utilizan prácticas que presentan una seguridad de tipos deficiente. La definición formal de la
known for
Wikipage disambiguates
.NET Framework.NET RemotingA2 (operating system)Ada (programming language)Aggregate patternAlgebraic data typeAlias analysisApplication domainBehavioral subtypingBoolean data typeBuffer over-readC Sharp (programming language)Callback (computer programming)Ceylon (programming language)Closure (computer programming)Common Intermediate LanguageCommon Language RuntimeComparison of C Sharp and Visual Basic .NETComparison of Java and C++Comparison of programming languages by type systemComposite patternCωData typeDb4oDelegate (CLI)Desktop communication protocolDevice driver synthesis and verificationDoom (2016 video game)ELKIEXtremeDBEvaluation strategyF Sharp (programming language)First-class messageFlow-sensitive typingForwarding (object-oriented programming)GSOAPGeneralized algebraic data typeGeneric programmingGradual typingHarbour (programming language)
Link from a Wikipage to another Wikipage
primaryTopic
Type safety
En informática, la seguridad de tipos es la medida en que un lenguaje de programación disminuye o previene los errores de tipo . Un error de tipo es un comportamiento de programa erróneo o indeseable causado por una discrepancia entre diferentes tipos de datos para las constantes, variables y métodos (funciones) del programa, por ejemplo, tratar un entero ( int ) como un número de punto flotante ( float ). La seguridad de tipos a veces se considera alternativamente como una propiedad de un programa de ordenador en vez de una propiedad del lenguaje con el que está escrito ese programa; es decir, algunos lenguajes tienen funciones de seguridad de tipos que pueden ser evitadas por programadores que utilizan prácticas que presentan una seguridad de tipos deficiente. La definición formal de la
has abstract
En informática, la seguridad d ...... er tipo de error catastrófico.
@es
In informatica la type safety ...... rispetto agli errori di tipo.
@it
La sûreté du typage est un pri ...... s et un ensemble d'opérateurs.
@fr
Typsicherheit ist ein Begriff ...... ine Typverletzungen auftreten.
@de
Στην Επιστήμη των Υπολογιστών, ...... είδους καταστροφικά σφάλματα.
@el
В информатике типобезопасность ...... ко в теории, но и на практике.
@ru
سلامة الأنماط أو سلامة التنميط ...... ا بين أنماط البيانات المختلفة.
@ar
在電腦科學中,一部分程式語言具備型別安全的性質。這個術語在不 ...... 即使對記憶體安全或任何可能的災難而言,並不需如此嚴格的要求。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,026,237,191
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
En informática, la seguridad d ...... e. La definición formal de la
@es
In informatica la type safety ...... rispetto agli errori di tipo.
@it
La sûreté du typage est un pri ...... s et un ensemble d'opérateurs.
@fr
Typsicherheit ist ein Begriff ...... ine Typverletzungen auftreten.
@de
Στην Επιστήμη των Υπολογιστών, ...... περισσότερους προγραμματιστές.
@el
В информатике типобезопасность ...... ия ошибок согласования типов .
@ru
سلامة الأنماط أو سلامة التنميط ...... ا بين أنماط البيانات المختلفة.
@ar
在電腦科學中,一部分程式語言具備型別安全的性質。這個術語在不 ...... 的靜態型別成員(比子型別和多態性所要求的還要更加精確細微)。
@zh
label
Seguridad de tipos
@es
Sicurezza rispetto ai tipi
@it
Sûreté du typage
@fr
Type safety
@en
Typsicherheit
@de
Typsäkerhet
@sv
Ασφάλεια τύπων
@el
Типобезопасность
@ru
سلامة الأنماط
@ar
型別安全
@zh