Le dictionnaire des développeurs

0-* A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business Intelligence · Conception · Culture · Économie · Généralités · Gestion de projet · Infographie · Internet · Langages · Sécurité · Systèmes · Télécom · Théorie

Langages > typage > sécurité de type

Définition de sécurité de type

n. loc. m.
Propriété d'un langage qui connaît et vérifie les types de valeur et les compatibilités entre types à la compilation. En cas d'incompatibilité, des erreurs sont habituellement reportées à la compilation, ou seulement des avertissements dans certains cas.

La sécurité de type est une propriété du langage, pas de programmes particuliers. Moyennant une programmation propre et structurée, il est parfaitement possible d'écrire un programme sûr du point de vue des types dans un langage qui n'applique pas la sécurité de type (qui n'est pas type-safe).

Un avantage très fort de cette propriété est que de nombreuses erreurs sont détectées dès la compilation : combinaisons invalides, appels de méthodes mal orthographiés, etc.

Un désavantage est que le type des variables doit être connu à la compilation. Elle ne peuvent donc pas changer de type en fonction de l'exécution. Certains auteurs voient cela comme un avantage, mais c'est parce qu'ils ont en tête l'avantage ci-dessus. Le fait que le type soit figé, en lui-même, est un désavantage.

	typage

		sécurité de type

Auteur : Sébastien Doeraene (sjrd) - sjrd

Permalien : Définition de sécurité de type du dictionnaire Langages

Date d'ajout : 15/01/2009

Date de dernière mise à jour : 15/01/2009

Le mot du jour : substitution de paramètre générique

Nouveautés :

- debug
- débogage
- débogueur
- kit de développement
- Bugdroid
- Android
- QUIC
- SPDY
- langage formel
- IMHO
- BO
- DOLAP
- HOLAP
- MOLAP
- ROLAP
- OLAP
- OLTP
- sandboxing
- opération Aurora
- APT
- staging area
- ODS
- SID
- reporting ad hoc
- reporting de masse
- métadonnées
- big analytics
- big data
- MDX
- CDC
- ELT
- SCD
- modélisation multidimensionnelle
- dimension
- ETL

Les définitions des mots présentées sur cette page sont libres de droits, et vous pouvez les utiliser à votre convenance. Par contre, le thesaurus : l'organisation hiérarchique des mots et les liens sémantiques entre eux, constitue une oeuvre intellectuelle protégée par les droits d'auteurs. Copyright © 2003-2004 Developpez LLC. Tous droits réservés Developpez LLC. Aucune reproduction, même partielle, ne peut être faite de ce site et de l'ensemble de son contenu : textes, documents et images sans l'autorisation expresse de Developpez LLC. Sinon vous encourez selon la loi jusqu'à 3 ans de prison et jusqu'à 300 000 E de dommages et intérêts. Cette page est déposée à la SACD.