Type class
Computer science type system construct for ad-hoc polymorphism
In computer science, a type class is a type system construct that supports ad hoc polymorphism in a programming language. This is achieved by adding constraints to type variables in parametrically polymorphic types.
Nº Q1375130 ★
Commune · Savoirs
Type class
Computer science type system construct for ad-hoc polymorphism
In computer science, a type class is a type system construct that supports ad hoc polymorphism in a programming language. This is achieved by adding constraints to type variables in parametrically polymorphic types.
Dernier prix
—
Prix plancher
—
Médiane 7 j
—
Ventes 30 j
0
Fourchette 30 j
—
En circulation
0
Cours
médiane
min – max
ventes
Aucune vente sur la période
Voir le tableau
| Date | médiane | Min | Max | ventes |
|---|
Historique des ventes
- Dernière vente
- —
- Moyenne 30 j
- —
- Plus bas 30 j
- —
- Plus haut 30 j
- —
- Ventes 7 j
- 0
- Ventes 30 j
- 0
Aucune vente pour l'instant.
Ventes anonymes : ni acheteur ni vendeur. Les chiffres ne comptent que les ventes entre joueurs.
Sur Wikipédia
Texte en anglais Pas encore d'article dans ta langue : extrait en anglais.
In computer science, a type class is a type system construct that supports ad hoc polymorphism in a programming language. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T. Type classes were first implemented in the language Haskell after first being proposed by Philip Wadler and Stephen Blott as an extension to eqtypes in Standard ML, and were originally conceived as a way of implementing overloaded arithmetic and equality operators in a principled fashion. In contrast with the "eqtypes" of Standard ML, overloading the equality operator through the use of type classes in Haskell does not need extensive modification of the compiler frontend or the underlying type system.
Texte : Wikipédia en anglais, CC BY-SA 4.0. ·
Cartes voisines
-
Polymorphisme (informatique)
Concept consistant à fournir une interface unique à des entités pouvant avoir différents types
Nº Q3240252 ★★★
Pas en vente
-
S
Système F
Lambda-calcul typé
Nº Q2552799 ★
Pas en vente
-
H
Hindley–Milner type system
Type system supporting type inference
Nº Q200996 ★★
Pas en vente
-
T
Type dépendant
Type dont la définition dépend d'une valeur
Nº Q997433 ★★
Pas en vente
-
V
Variance (informatique)
Relation entre un type générique et un de ses types composant lors du sous-typage
Nº Q362031 ★
Pas en vente
-
Tool Command Language
Langage de programmation
Nº Q5288 ★★
Pas en vente