Statements (105)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:language
|
gptkbp:bfsLayer |
3
|
gptkbp:bfsParent |
gptkb:Library
|
gptkbp:designed_by |
gptkb:Simon_Peyton_Jones
|
gptkbp:has_expansion |
gptkb:Template_Haskell
gptkb:operating_system Strict Existential Quantification Type Families Functional Dependencies Overloaded Strings Scoped Type Variables Unicode Syntax GAD Ts Bang Patterns Constrained Class Methods Constraint Kinds Data Kinds Default Signatures Derive Any Class Derive Functor Derive Generic Empty Case Empty Data Decls Flexible Contexts Flexible Instances Generalized Newtype Deriving Haskell2010 Extensions Implicit Params Kind Signatures Monomorphism Restriction Multi Param Type Classes Multi Way If N Plus K Patterns Named Field Puns Pattern Synonyms Poly Kinds Quantified Constraints Quasi Quotes Rank N Types Rank2 Types Record Puns Record Wild Cards Safe Haskell Safe Imports Standalone Deriving Template Haskell Quotes Type Applications Type In Type Type Operators Type Synonym Instances View Patterns |
gptkbp:has_feature |
type inference
strong static typing lazy evaluation first-class functions monads purely functional |
https://www.w3.org/2000/01/rdf-schema#label |
Haskell2010
|
gptkbp:is_standardized_by |
gptkb:organization
|
gptkbp:is_used_in |
gptkb:academic_research
gptkb:software_framework data analysis web development |
gptkbp:latest_version |
gptkb:Library
|
gptkbp:library |
gptkb:Quick_Check
gptkb:Snap gptkb:Yesod gptkb:yesod-auth gptkb:military_officer gptkb:aeson-schema gptkb:yesod-core gptkb:yesod-form gptkb:yesod-forms gptkb:yesod-jquery gptkb:yesod-persistent gptkb:yesod-static gptkb:DJ gptkb:television_channel gptkb:Photographer gptkb:Pandoc gptkb:mythological_figure gptkb:async gptkb:poet vector transformers persistent containers Hackage aeson bytestring http-client http-types mtl random conduit stm unordered-containers http-api-data servant-client servant-server websockets yesod-test |
gptkbp:released_in |
gptkb:2010
|
gptkbp:supports |
functional programming
|