Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International