Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Signature de type
Résumé
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 les types 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 comm
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées
Chargement
Personnes associées
Chargement
Unités associées
Chargement
Concepts associés
Chargement
Cours associés
Chargement
Séances de cours associées
Chargement