Statements (69)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:typeface
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Template_Haskell
|
| gptkbp:activities |
code organization
interface segregation defining interfaces |
| gptkbp:allows |
ad-hoc polymorphism
default method implementations |
| gptkbp:can_be |
nested
stacked abstracted parameterized extended derived automatically |
| gptkbp:defines |
type signatures
|
| gptkbp:enables |
code reuse
|
| gptkbp:features |
gptkb:Haskell_2010
gptkb:Haskell_98 functional programming Haskell's functional paradigm Haskell's standard library Haskell's syntax |
| https://www.w3.org/2000/01/rdf-schema#label |
Haskell's type classes
|
| gptkbp:includes |
gptkb:Ord_class
Eq class Functor class Monad class Num class Read class Show class |
| gptkbp:is_essential_for |
type-level programming
|
| gptkbp:is_implemented_in |
gptkb:GHC_(Glasgow_Haskell_Compiler)
|
| gptkbp:is_influenced_by |
object-oriented programming
|
| gptkbp:is_part_of |
gptkb:Library
Haskell's type system Haskell's design philosophy Haskell's ecosystem Haskell's type safety features |
| gptkbp:is_related_to |
type constraints
type families type inference algorithms class constraints instance declarations multi-parameter type classes type classes hierarchy |
| gptkbp:is_used_for |
generic programming
type abstraction defining behavior defining generic functions type-safe operations |
| gptkbp:is_used_in |
gptkb:software_framework
algorithm design type-safe programming type inference data abstraction Haskell libraries functional abstractions type-safe AP Is |
| gptkbp:is_used_to |
create reusable components
achieve polymorphism create generic data types define behavior for types define type relationships implement interfaces implement polymorphic functions |
| gptkbp:related_concept |
gptkb:language
gptkb:typeface type-safe languages |
| gptkbp:supports |
overloading of operators
|