type-safe - définition. Qu'est-ce que type-safe
Diclib.com
Dictionnaire ChatGPT
Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

  • comment le mot est utilisé
  • fréquence d'utilisation
  • il est utilisé plus souvent dans le discours oral ou écrit
  • options de traduction de mots
  • exemples d'utilisation (plusieurs phrases avec traduction)
  • étymologie

Qu'est-ce (qui) est type-safe - définition

PROPERTY OF A TYPE SYSTEM THAT PREVENTS CERTAIN ERRONEOUS OR UNDESIRABLE PROGRAM BEHAVIOURS
Type-safety; Type-safe; Type safe; Unsafe programming language; Type saftety; Type-checked; Type soundness; Typesafety; Comparison of programming languages (type safety); Compile-time type safety

Type safety         
In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Safe mode in spacecraft         
CONTINGENCY OPERATING MODE OF A SPACECRAFT IN WHICH NON-ESSENTIAL SYSTEMS ARE SHUT DOWN AND VEHICLE PRESERVATION IS THE TOP PRIORITY
Safe mode (spacecraft)
Safe mode is an operating mode of a modern unmanned spacecraft during which all non-essential systems are shut down and only essential functions such as thermal management, radio reception and attitude control are active.
Safe mode (spacecraft)         
CONTINGENCY OPERATING MODE OF A SPACECRAFT IN WHICH NON-ESSENTIAL SYSTEMS ARE SHUT DOWN AND VEHICLE PRESERVATION IS THE TOP PRIORITY
Safe mode (spacecraft)
Safe mode is an operating mode of a modern unmanned spacecraft during which all non-essential systems are shut down and only essential functions such as thermal management, radio reception and attitude control are active.

Wikipédia

Type safety

In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors. The behaviors classified as type errors by a given programming language are usually those that result from attempts to perform operations on values that are not of the appropriate data type, e.g., adding a string to an integer when there's no definition on how to handle this case. This classification is partly based on opinion.

Type enforcement can be static, catching potential errors at compile time, or dynamic, associating type information with values at run-time and consulting them as needed to detect imminent errors, or a combination of both. Dynamic type enforcement often allows programs to run that would be invalid under static enforcement.

In the context of static (compile-time) type systems, type safety usually involves (among other things) a guarantee that the eventual value of any expression will be a legitimate member of that expression's static type. The precise requirement is more subtle than this — see, for example, subtyping and polymorphism for complications.