Haskell type system

GPTKB entity

Statements (92)
Predicate Object
gptkbp:instanceOf type system
gptkbp:enables generic programming
type safety
type-level programming
abstraction via type classes
ad-hoc polymorphism
compile-time error checking
dependent-like types (via extensions)
higher-order polymorphism
gptkbp:fileExtension gptkb:GADTs
gptkb:CPP
gptkb:TemplateHaskell
Safe
Strict
Trustworthy
Unsafe
AllowAmbiguousTypes
BangPatterns
CApiFFI
ConstraintKinds
DataKinds
DefaultSignatures
DeriveAnyClass
DeriveFunctor
DeriveGeneric
DisambiguateRecordFields
DuplicateRecordFields
EmptyCase
EmptyDataDecls
ExistentialQuantification
FlexibleContexts
FlexibleInstances
ForeignFunctionInterface
FunctionalDependencies
GeneralizedNewtypeDeriving
ImplicitParams
InterruptibleFFI
KindSignatures
LambdaCase
LinearTypes
MagicHash
MultiParamTypeClasses
MultiWayIf
NamedFieldPuns
NoImplicitPrelude
OverloadedLabels
OverloadedLists
OverloadedStrings
PartialTypeSignatures
PatternGuards
PatternSynonyms
PolyKinds
QuantifiedConstraints
QuasiQuotes
RankNTypes
RebindableSyntax
RecordWildCards
ScopedTypeVariables
StandaloneDeriving
StrictData
TupleSections
TypeApplications
TypeFamilies
TypeFamilyDependencies
TypeInType
TypeOperators
TypeSynonymInstances
UnboxedSums
UnboxedTuples
UndecidableInstances
UndecidableSuperClasses
UnliftedFFITypes
ViewPatterns
gptkbp:heldBy strongly typed
purely functional
statically typed
https://www.w3.org/2000/01/rdf-schema#label Haskell type system
gptkbp:influencedBy gptkb:Hindley–Milner_type_system
gptkbp:supports type inference
algebraic data types
higher-kinded types
parametric polymorphism
type classes
existential types
generalized algebraic data types
newtypes
rank-n types
type families
gptkbp:usedBy gptkb:Haskell_programming_language
gptkbp:bfsParent gptkb:System_F
gptkb:system_F
gptkbp:bfsLayer 6