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 ★
Común · Saberes
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.
Último precio
—
Precio mínimo
—
Mediana 7 d
—
Ventas 30 d
0
Rango 30 d
—
En circulación
0
Cotización
mediana
mín – máx
ventas
Sin ventas en el periodo
Ver tabla
| Fecha | mediana | Mín | Máx | ventas |
|---|
Historial de ventas
- Última venta
- —
- Media 30 d
- —
- Mínimo 30 d
- —
- Máximo 30 d
- —
- Ventas 7 d
- 0
- Ventas 30 d
- 0
Aún no hay ventas.
Ventas anónimas: sin comprador ni vendedor. Las cifras solo cuentan ventas entre jugadores.
En Wikipedia
Texto en inglés Aún no hay artículo en tu idioma: extracto en inglés.
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.
Texto: Wikipedia en inglés, CC BY-SA 4.0. ·
Cartas cercanas
-
Polimorfismo (informática)
Informática
Nº Q3240252 ★★★
Sin ofertas
-
S
System F
Typed lambda calculus
Nº Q2552799 ★
Sin ofertas
-
H
Hindley–Milner type system
Type system supporting type inference
Nº Q200996 ★★
Sin ofertas
-
D
Dependent type
Data type whose definition depends on a value
Nº Q997433 ★★
Sin ofertas
-
C
Covarianza y contravarianza (ciencias de la computación)
Nº Q362031 ★
Sin ofertas
-
Tcl
Lenguaje de script
Nº Q5288 ★★
Sin ofertas