About: Type class

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Type system construct for ad-hoc polymorphism

Property	Value
dbo:description	Programmiersprache (de) konstrukt tipskega sistema za ad hoc polimorfizem (sl) type system construct for ad-hoc polymorphism (en)
dbo:wikiPageExternalLink	http://research.microsoft.com/~simonpj/Papers/type-class-design-space http://www.haskell.org/pipermail/haskell-cafe/2007-August/030097.html) http://www.haskell.org/tutorial/classes.html http://www.cs.uu.nl/wiki/pub/Afp/CourseSchedule/AFP-2008.3-12.pdf http://okmij.org/ftp/Computation/typeclass.html
dbo:wikiPageWikiLink	dbr:Type_variable dbr:Monad_(functional_programming) dbr:Trait_(computer_programming) dbr:C++ dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:Functional_dependency dbr:Standard_ML dbr:Glasgow_Haskell_Compiler dbr:Type_family dbr:Clean_(programming_language) dbr:Programming_idiom dbr:Type_system dbr:Operator_overloading dbr:OCaml dbc:Data_types dbr:Coq dbr:Rust_(programming_language) dbr:Ad_hoc_polymorphism dbr:Computer_science dbc:Type_theory dbr:Mercury_(programming_language) dbr:Hugs_(interpreter) dbr:Scala_(programming_language) dbr:Set_(abstract_data_type) dbr:Class_(computer_science) dbc:Articles_with_example_Haskell_code dbc:Functional_programming dbr:Total_order dbr:Type_inference dbr:Philip_Wadler dbr:Kind_(type_theory) dbr:Concepts_(C++) dbr:Haskell_(programming_language) dbr:Object_type_(object-oriented_programming) dbr:Agda_(theorem_prover) dbr:Multimethod dbr:Simon_Peyton-Jones dbr:Coq_(proof_assistant) dbr:Compiler_frontend dbr:Type-directed_programming
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Data_types dbt:Refend dbt:About dbt:Refbegin dbt:Citation_needed dbt:Distinguish dbt:Rp dbt:Explain dbt:Short_description
dct:subject	dbc:Articles_with_example_C++_code dbc:Programming_language_comparisons dbc:Data_types dbc:Type_theory dbc:Articles_with_example_Haskell_code dbc:Articles_with_example_Scala_code dbc:Functional_programming
gold:hypernym	dbr:System
rdf:type	owl:Thing owl:Thing
rdfs:label	Type class (en) Type class (ca) Typklasse (Informatik) (de) 型クラス (ja) Класс типов (ru) 类型类 (zh)
owl:differentFrom	dbr:Class_(computer_programming)
owl:sameAs	freebase:Type class wikidata:Type class dbpedia-de:Type class dbpedia-zh:Type class dbpedia-ja:Type class dbpedia-ru:Type class dbpedia-ca:Type class dbpedia-global:Type class dbr:Type class
prov:wasDerivedFrom	wikipedia-en:Type_class?oldid=1288796397&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Type_class
is dbo:wikiPageDisambiguates of	dbr:Class
is dbo:wikiPageRedirects of	dbr:Type_Class dbr:Type_classes dbr:Typeclass
is dbo:wikiPageWikiLink of	dbr:Concept_(generic_programming) dbr:Enumerated_type dbr:Monad_(functional_programming) dbr:Trait_(computer_programming) dbr:Serialization dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:Map_(higher-order_function) dbr:Exception_handling_syntax dbr:Glasgow_Haskell_Compiler dbr:Haskell dbr:Haskell_features dbr:Type_family dbr:Control_flow dbr:Hindley–Milner_type_system dbr:Class dbr:Operator_(computer_programming) dbr:Expression_problem dbr:Top_type dbr:Rust_(programming_language) dbr:Ad_hoc_polymorphism dbr:Three-way_comparison dbr:Generic_programming dbr:Functor dbr:Bounded_Type dbr:Strategy_pattern dbr:Variadic_function dbr:Extension_method dbr:Abstract_type dbr:Generalized_algebraic_data_type dbr:Arrow_(computer_science) dbr:Kind_(type_theory) dbr:Concepts_(C++) dbr:Elm_(programming_language) dbr:Functor_(functional_programming) dbr:Protocol_(object-oriented_programming) dbr:PureScript dbr:Idris_(programming_language) dbr:Type_Class dbr:Type_classes dbr:Typeclass
is rdfs:seeAlso of	dbr:Hindley–Milner_type_system
is foaf:primaryTopic of	wikipedia-en:Type_class