Statements (105)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:C_programming_language
|
gptkbp:designed_by |
gptkb:Simon_Peyton_Jones
|
gptkbp:has_expansion |
gptkb:user_interface
gptkb:Template_Haskell Strict Existential Quantification GADTs Type Families Functional Dependencies Overloaded Strings Scoped Type Variables Unicode Syntax 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 Named Field Puns Pattern Synonyms Poly Kinds Quantified Constraints Quasi Quotes 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 NPlus KPatterns Rank NTypes |
gptkbp:has_feature |
type inference
strong static typing lazy evaluation first-class functions monads purely functional |
gptkbp:has_library |
gptkb:Quick_Check
gptkb:Snap gptkb:Yesod gptkb:yesod-auth gptkb:Servant gptkb:aeson-schema gptkb:yesod-core gptkb:yesod-form gptkb:yesod-forms gptkb:yesod-jquery gptkb:yesod-persistent gptkb:yesod-static gptkb:Haskell gptkb:Pandoc gptkb:text gptkb:camera gptkb:async gptkb:networking gptkb:time 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 |
https://www.w3.org/2000/01/rdf-schema#label |
Haskell2010
|
gptkbp:is_standardized_by |
gptkb:International_Organization_for_Standardization
|
gptkbp:is_used_in |
gptkb:academic_research
gptkb:Software_Development data analysis web development |
gptkbp:latest_version |
gptkb:Haskell
|
gptkbp:released_in |
gptkb:2010
|
gptkbp:supports |
functional programming
|
gptkbp:bfsParent |
gptkb:Haskell
|
gptkbp:bfsLayer |
5
|