Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Type_class> ?p ?o }
Showing triples 1 to 79 of
79
with 100 triples per page.
- Type_class abstract "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.Type classes first appeared in the Haskell programming language, 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 require extensive modification of the compiler frontend or the underlying type system.Since their creation, many other applications of type classes have been discovered.".
- Type_class wikiPageExternalLink classes.html.
- Type_class wikiPageExternalLink typeclass.html.
- Type_class wikiPageExternalLink type-class-design-space.
- Type_class wikiPageExternalLink AFP-2008.3-12.pdf.
- Type_class wikiPageExternalLink 030097.html).
- Type_class wikiPageID "3647181".
- Type_class wikiPageLength "15223".
- Type_class wikiPageOutDegree "41".
- Type_class wikiPageRevisionID "706878634".
- Type_class wikiPageWikiLink Ad_hoc_polymorphism.
- Type_class wikiPageWikiLink Agda_(programming_language).
- Type_class wikiPageWikiLink Category:Articles_with_example_Haskell_code.
- Type_class wikiPageWikiLink Category:Data_types.
- Type_class wikiPageWikiLink Category:Functional_programming.
- Type_class wikiPageWikiLink Category:Type_theory.
- Type_class wikiPageWikiLink Class_(computer_programming).
- Type_class wikiPageWikiLink Computer_science.
- Type_class wikiPageWikiLink Concepts_(C++).
- Type_class wikiPageWikiLink Coq.
- Type_class wikiPageWikiLink Functional_dependency.
- Type_class wikiPageWikiLink Glasgow_Haskell_Compiler.
- Type_class wikiPageWikiLink Haskell_(programming_language).
- Type_class wikiPageWikiLink Hugs.
- Type_class wikiPageWikiLink Kind_(type_theory).
- Type_class wikiPageWikiLink Monad_(functional_programming).
- Type_class wikiPageWikiLink Multiple_dispatch.
- Type_class wikiPageWikiLink OCaml.
- Type_class wikiPageWikiLink Object_type_(object-oriented_programming).
- Type_class wikiPageWikiLink Operator_overloading.
- Type_class wikiPageWikiLink Parametric_polymorphism.
- Type_class wikiPageWikiLink Polymorphism_(computer_science).
- Type_class wikiPageWikiLink Rust_(programming_language).
- Type_class wikiPageWikiLink Scala_(programming_language).
- Type_class wikiPageWikiLink Set_(abstract_data_type).
- Type_class wikiPageWikiLink Simon_Peyton_Jones.
- Type_class wikiPageWikiLink Standard_ML.
- Type_class wikiPageWikiLink Total_order.
- Type_class wikiPageWikiLink Trait_(computer_programming).
- Type_class wikiPageWikiLink Type-directed_programming.
- Type_class wikiPageWikiLink Type_family.
- Type_class wikiPageWikiLink Type_inference.
- Type_class wikiPageWikiLink Type_system.
- Type_class wikiPageWikiLink Type_variable.
- Type_class wikiPageWikiLinkText "Bounded type".
- Type_class wikiPageWikiLinkText "Functional dependencies".
- Type_class wikiPageWikiLinkText "Type class".
- Type_class wikiPageWikiLinkText "Type class#Higher-kinded polymorphism".
- Type_class wikiPageWikiLinkText "class".
- Type_class wikiPageWikiLinkText "higher-kinded polymorphism".
- Type_class wikiPageWikiLinkText "multi-parameter type classes".
- Type_class wikiPageWikiLinkText "overloaded".
- Type_class wikiPageWikiLinkText "type class".
- Type_class wikiPageUsesTemplate Template:About.
- Type_class wikiPageUsesTemplate Template:Citation_needed.
- Type_class wikiPageUsesTemplate Template:Data_types.
- Type_class wikiPageUsesTemplate Template:Distinguish.
- Type_class wikiPageUsesTemplate Template:Refbegin.
- Type_class wikiPageUsesTemplate Template:Refend.
- Type_class wikiPageUsesTemplate Template:Reflist.
- Type_class wikiPageUsesTemplate Template:Unreferenced_section.
- Type_class subject Category:Articles_with_example_Haskell_code.
- Type_class subject Category:Data_types.
- Type_class subject Category:Functional_programming.
- Type_class subject Category:Type_theory.
- Type_class hypernym System.
- Type_class type Type.
- Type_class type Structure.
- Type_class type Type.
- Type_class type Thing.
- Type_class comment "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.".
- Type_class label "Type class".
- Type_class differentFrom Class_(computer_programming).
- Type_class sameAs Q1375130.
- Type_class sameAs Typklasse_(Informatik).
- Type_class sameAs m.09s1bh.
- Type_class sameAs Q1375130.
- Type_class wasDerivedFrom Type_class?oldid=706878634.
- Type_class isPrimaryTopicOf Type_class.