Signature de type

Signature de type
Page d'aide sur l'homonymie Pour les articles homonymes, voir Signature (homonymie).

En programmation informatique, la signature de type définit les types de données acceptables pour une fonction ou une méthode. Une signature inclut au moins le nom de la fonction et le nombre de paramètres. Dans certains langages, elle peut aussi spécifier le type de la valeur de retour et le type de ses paramètres.

Haskell

Une signature de type en Haskell est généralement écrite dans le format suivant :

nomDeFonction :: typeArgument1 -> typeArgument2 -> ... -> typeArgumentN

Notez que la sortie finale peut être considérée comme un argument. C'est la conséquence de la curryfication.


Les spécifications de type peuvent consister en un type, tel que Integer, ou une variable de type dans le cas de fonctions polymorphiques. En Haskell, ces variables de type peuvent être notamment "a", "b" ou "anyType", de sorte que l'on peut écrire :

nomDeFonction :: a -> a -> ... -> a

Puisque Haskell supporte des fonctions d'ordre supérieur, des fonctions peuvent être passées comme arguments. Ceci s'écrit comme suit :

nomDeFonction :: (a -> a) -> a

Cette fonction accepte une fonction avec comme signature de type a -> a, et retourne des données de type a.

Java

Dans la machine virtuelle Java, on utilise les signatures de type interne pour identifier les méthodes et les classes au niveau du code la machine virtuelle.

Exemple: La méthode String String.substring(int, int) est représentée comme java/lang/String/substring(II)Ljava/lang/String;

Voir aussi

  • Signature de méthode

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Signature de type de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Type recursif — Type récursif Dans un langage de programmation, un type récursif ou type inductif est un type de données pour des valeurs qui contiennent d autres valeurs du même type. Un exemple est le type liste en Haskell : data List a = Nil | Cons a… …   Wikipédia en Français

  • Signature (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Article principal Signature Mathématiques signature d une structure algébrique, la liste de ses opérations avec leur arité, signature d une permutation,… …   Wikipédia en Français

  • Type statique — Typage statique Sommaire 1 Définition 2 Langages à objets et typage statique 3 Problèmes 4 Résolution, autres difficultés …   Wikipédia en Français

  • Type abstrait — En génie logiciel, un type abstrait est une spécification mathématique d un ensemble de données et de l ensemble des opérations qu elles peuvent effectuer. On qualifie d abstrait ce type de données car il correspond à un cahier des charges qu une …   Wikipédia en Français

  • Type récursif — Dans un langage de programmation, un type récursif ou type inductif est un type de données pour des valeurs qui contiennent d autres valeurs du même type. Cette notion s applique naturellement dans l étude des listes et des arbres. Sommaire 1… …   Wikipédia en Français

  • Type énuméré — Pour les articles homonymes, voir Enum. En programmation informatique, un type énuméré est un type de données qui consiste en un ensemble de constantes appelées énumerateurs. Lorsque l on crée un type énuméré on définit ainsi une énumeration.… …   Wikipédia en Français

  • Type signature — is a term that is used in computer programming.A type signature defines the inputs and outputs for a function or method. A type signature includes at least the function name and the number of its parameters. In some programming languages, it may… …   Wikipedia

  • Signature (aéronautique) — Signature en télédétection Pour les articles homonymes, voir Signature. La signature est l ensemble des éléments qui permettent de caractériser la présence, le type, ou l identité d un objet par un senseur. Elle dépend donc des phénomènes… …   Wikipédia en Français

  • Signature (domaine technique) — Signature en télédétection Pour les articles homonymes, voir Signature. La signature est l ensemble des éléments qui permettent de caractériser la présence, le type, ou l identité d un objet par un senseur. Elle dépend donc des phénomènes… …   Wikipédia en Français

  • Signature Infra Rouge — Signature en télédétection Pour les articles homonymes, voir Signature. La signature est l ensemble des éléments qui permettent de caractériser la présence, le type, ou l identité d un objet par un senseur. Elle dépend donc des phénomènes… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”