出典:Wiktionary
出典:Wikipedia
出典:『Wikipedia』 (2011/05/19 07:52 UTC 版)
In computer science, a type class is a type system construct that supports ad-hoc polymorphism. 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.
| ・typeclass | |
| ・recto | |
| ・Repub. | |
| ・worldproof | |
| ・PI6 | |
| ・affronts | |
| ・ASDH | |
| ・levitates | |
| ・subsecutus | |
| ・custom expression |