Haskell2010

GPTKB entity

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