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
|