| dbo:abstract
|
- Tous les langages de programmation permettent, directement ou indirectement, de manipuler des valeurs. Généralement, c'est par l'entremise de variables, qui sont une association (on dit aussi une liaison) entre un symbole et une valeur ou succession de valeurs, le symbole permettant au programmeur d'identifier et manipuler ces valeurs. Le typage d'une variable consiste à associer à sa variable symbolique un « type » de donnée, permettant à l'ordinateur de savoir si celle-ci est de type numérique, textuel, etc., d'allouer en conséquence des zones de mémoire de dimension suffisantes pour stocker cette donnée, et éventuellement de vérifier que les manipulations programmées sur cette variable (opérations mathématiques, traitement de texte, etc.) sont cohérentes avec son type. Le typage dynamique consiste à laisser l'ordinateur réaliser cette opération de typage « à la volée », lors de l'exécution du code, contrairement aux langages statiquement typés où l'analyse de type est effectuée en amont (en général lors de la compilation du programme). Indépendamment du moment où cette analyse est effectuée, la méthode de typage peut soit imposer des annotations explicites de types aux expressions du programme, soit disposer d'un mécanisme d'inférence de types. On notera que la plupart des langages à typage dynamique dispose de ce mécanisme. Le typage dynamique peut être une solution très commode pour le développement rapide de programmes, notamment lorsque le type des objets manipulés n'est pas forcément connu à l'avance, ou bien lorsque le programmeur veut permettre par commodité le changement de type d'une variable. Il est de plus nécessaire au développement d'un protocole à méta-objets — ou MOP — où le typage statique est interdit[réf. nécessaire]. (fr)
- Tous les langages de programmation permettent, directement ou indirectement, de manipuler des valeurs. Généralement, c'est par l'entremise de variables, qui sont une association (on dit aussi une liaison) entre un symbole et une valeur ou succession de valeurs, le symbole permettant au programmeur d'identifier et manipuler ces valeurs. Le typage d'une variable consiste à associer à sa variable symbolique un « type » de donnée, permettant à l'ordinateur de savoir si celle-ci est de type numérique, textuel, etc., d'allouer en conséquence des zones de mémoire de dimension suffisantes pour stocker cette donnée, et éventuellement de vérifier que les manipulations programmées sur cette variable (opérations mathématiques, traitement de texte, etc.) sont cohérentes avec son type. Le typage dynamique consiste à laisser l'ordinateur réaliser cette opération de typage « à la volée », lors de l'exécution du code, contrairement aux langages statiquement typés où l'analyse de type est effectuée en amont (en général lors de la compilation du programme). Indépendamment du moment où cette analyse est effectuée, la méthode de typage peut soit imposer des annotations explicites de types aux expressions du programme, soit disposer d'un mécanisme d'inférence de types. On notera que la plupart des langages à typage dynamique dispose de ce mécanisme. Le typage dynamique peut être une solution très commode pour le développement rapide de programmes, notamment lorsque le type des objets manipulés n'est pas forcément connu à l'avance, ou bien lorsque le programmeur veut permettre par commodité le changement de type d'une variable. Il est de plus nécessaire au développement d'un protocole à méta-objets — ou MOP — où le typage statique est interdit[réf. nécessaire]. (fr)
|
| rdfs:comment
|
- Tous les langages de programmation permettent, directement ou indirectement, de manipuler des valeurs. Généralement, c'est par l'entremise de variables, qui sont une association (on dit aussi une liaison) entre un symbole et une valeur ou succession de valeurs, le symbole permettant au programmeur d'identifier et manipuler ces valeurs. (fr)
- Tous les langages de programmation permettent, directement ou indirectement, de manipuler des valeurs. Généralement, c'est par l'entremise de variables, qui sont une association (on dit aussi une liaison) entre un symbole et une valeur ou succession de valeurs, le symbole permettant au programmeur d'identifier et manipuler ces valeurs. (fr)
|
