Statements (372)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
gptkb:Linux gptkb:Java_programming_language |
| gptkbp:community |
gptkb:Haskell_Reddit
Active Community Haskell community Haskell.org Haskell Discourse Haskell Weekly Haskell Cafe |
| gptkbp:compilation_model |
compiled language
|
| gptkbp:conference |
gptkb:ICFP
gptkb:Haskell_Implementors_Workshop gptkb:Haskell_Symposium gptkb:Haskell_e_Xchange |
| gptkbp:contains |
tools for Haskell development
|
| gptkbp:designed_by |
gptkb:Paul_Hudak
gptkb:John_Hughes gptkb:Simon_Peyton_Jones gptkb:Philip_Wadler |
| gptkbp:developed_by |
gptkb:The_Glasgow_Haskell_Compiler_Team
Haskell community GHC Team |
| gptkbp:facilitates |
Haskell project setup
|
| gptkbp:features |
gptkb:Template_Haskell
Pattern Matching Type Inference Garbage collection Higher-order Functions Concurrency support Concurrency Support Lazy evaluation GHCi (interactive environment) Type Classes Type inference Parallelism support |
| gptkbp:file_extension |
.hs
.lhs |
| gptkbp:first_appearance |
gptkb:1990
|
| gptkbp:first_released |
gptkb:1992
gptkb:2001 gptkb:2010 |
| gptkbp:has_documentation |
Haskell Wiki
|
| gptkbp:has_function |
gptkb:Guard
gptkb:template_Haskell higher-order functions list comprehensions pattern matching Haskell syntax case expressions let expressions algebraic data types do notation monads record syntax functors type-level programming existential types rank-n types type families type annotations implicit parameters overloaded strings applicatives type classes with associated types type classes with functional dependencies multi-parameter type classes do-notation for monads newtype type-level booleans type-level equality type-level functions type-level lists type-level naturals type-level tuples GADTs (Generalized Algebraic Data Types) |
| gptkbp:has_version |
9.0.1
8.10.7 |
| https://www.w3.org/2000/01/rdf-schema#label |
Haskell
|
| gptkbp:includes |
gptkb:Quick_Check
gptkb:Haskell gptkb:Cabal gptkb:Cabal-install gptkb:Open_Stack Haddock Haskell libraries |
| gptkbp:influenced_by |
gptkb:Ada
gptkb:ML gptkb:Lisp gptkb:Miranda gptkb:Scheme |
| gptkbp:is_available_in |
gptkb:mac_OS_Homebrew
Linux repositories Windows installers |
| gptkbp:is_available_on |
gptkb:Git_Hub
|
| gptkbp:is_compatible_with |
gptkb:Cabal
gptkb:Nix gptkb:Docker gptkb:Open_Stack Haskell language standards |
| gptkbp:is_distributed_by |
binary packages
source packages |
| gptkbp:is_maintained_by |
gptkb:Haskell_Foundation
|
| gptkbp:is_part_of |
gptkb:Haskell_Toolchain
Haskell ecosystem |
| gptkbp:is_promoted_by |
Haskell.org
Haskell Weekly Haskell Blog |
| gptkbp:is_standardized_by |
gptkb:Haskell_2010
gptkb:Haskell_98 |
| gptkbp:is_supported_by |
community forums
online tutorials documentation websites |
| gptkbp:is_used_by |
academic institutions
open source projects software companies |
| gptkbp:is_used_for |
data analysis
scripting web development system programming compiler construction teaching programming |
| gptkbp:latest_version |
9.2.1
2021.2.0.0 |
| gptkbp:library |
gptkb:Hakyll
gptkb:Quick_Check gptkb:Snap gptkb:Yesod gptkb:Servant gptkb:Haskell gptkb:Pandoc gptkb:Cabal gptkb:Haskell_Language_Server gptkb:haskell-src-exts gptkb:GHC_(Glasgow_Haskell_Compiler) gptkb:camera gptkb:attoparsec gptkb:Open_Stack vector transformers Hugs persistent stack cabal-install aeson bytestring http-client mtl random conduit ghc-exactprint haskell-language-server hlint haskell-ide-engine stylish-haskell ghcup ghc-mod haskell-names |
| gptkbp:license |
gptkb:BSD_license
gptkb:BSD_License BSD-style license |
| gptkbp:main_implementation |
gptkb:Haskell
gptkb:GHC_(Glasgow_Haskell_Compiler) Hugs NHC |
| gptkbp:notable_applications |
gptkb:crypt
gptkb:machine_learning data analysis financial modeling game development web development distributed systems system programming compiler construction network programming |
| gptkbp:notable_feature |
gptkb:STM_(Software_Transactional_Memory)
gptkb:Foreign_Function_Interface_(FFI) gptkb:template_Haskell higher-order functions list comprehensions type classes type inference Community-driven development Open-source nature pattern matching Concurrency support lazy evaluation algebraic data types do notation first-class functions monads pure functions record syntax Error handling with Maybe and Either Extensible records type families Concurrency abstractions Functional Reactive Programming (FRP) Haskell's ecosystem of libraries Monadic parsing Quick Check for testing GADTs (Generalized Algebraic Data Types) |
| gptkbp:notable_for |
gptkb:GHCi
gptkb:Cabal gptkb:HLint gptkb:Open_Stack Haddock |
| gptkbp:notable_technique |
gptkb:Haskell
gptkb:LHC Hugs NHC |
| gptkbp:notable_works |
gptkb:Real_World_Haskell
gptkb:Haskell_in_Depth gptkb:Learn_You_a_Haskell_for_Great_Good! Programming in Haskell Haskell Programming from First Principles |
| gptkbp:offers |
gptkb:Documentation
|
| gptkbp:operating_system |
Cross-platform
|
| gptkbp:package_manager |
gptkb:Cabal
gptkb:Open_Stack |
| gptkbp:paradigm |
functional programming
|
| gptkbp:platform |
Cross-platform
|
| gptkbp:programming_language |
gptkb:Haskell
|
| gptkbp:provides |
gptkb:Haskell
gptkb:REPL_(GHCi) package management |
| gptkbp:related_to |
gptkb:Quick_Check
gptkb:Yesod gptkb:GHCi gptkb:GHCup gptkb:GHCJS gptkb:Haskell gptkb:Pandoc gptkb:Cabal gptkb:Haskell_Language_Server gptkb:Logic gptkb:Open_Stack concurrent programming higher-order functions performance optimization test-driven development category theory type classes type safety software engineering recursion compiler construction Hackage parallel programming Hoogle algebraic data types code correctness functional reactive programming monads functional programming languages programming language theory |
| gptkbp:repository |
gptkb:Git_Hub
https://gitlab.haskell.org/ghc/ghc |
| gptkbp:supports |
gptkb:Haskell2010
gptkb:Haskell98 gptkb:user_interface gptkb:Reptilia gptkb:Haskell2013 gptkb:GHCi gptkb:Linux gptkb:GHCJS gptkb:Foreign_Function_Interface_(FFI) gptkb:Haskell_Language_Server gptkb:Template_Haskell gptkb:program gptkb:mac_OS gptkb:Windows Debugging Functional Programming Optimization Static Analysis Code Optimization Performance Tuning Error Reporting Interactive Development Multi-threading Package Management Linting Warnings Profiling Cross-compilation Profiling Tools Dynamic Linking Dynamic linking Static Linking GHC Extensions Haskell Language Extensions Code Coverage Static linking Custom GHC Options Haskell2020 GHCi Scripting |
| gptkbp:system |
strong typing
static typing type inference |
| gptkbp:target_audience |
programmers
|
| gptkbp:targets |
gptkb:x86
gptkb:ARM gptkb:Power_PC x86_64 |
| gptkbp:type |
gptkb:Open_Source
|
| gptkbp:type_of |
gptkb:C_programming_language
|
| gptkbp:used_for |
functional programming
|
| gptkbp:used_in |
gptkb:academic_research
gptkb:Software_Development data analysis web development system programming |
| gptkbp:uses |
gptkb:Quick_Check
gptkb:Servant gptkb:Java_programming_language gptkb:text gptkb:LLVM gptkb:camera gptkb:async parallel higher-order functions list comprehensions transformers type classes persistent containers pattern matching Hspec stack cabal cabal-install modules GADTs aeson Lazy Evaluation pipes GHC Extensions lazy evaluation algebraic data types bytestring do notation monads mtl record syntax yesod currying conduit haskell-language-server stm type families hlint stylish-haskell ghc-options ghci ghcup hackage import/export system overloaded strings stackage |
| gptkbp:was_executed_by |
interpreted language
|
| gptkbp:website |
https://www.haskell.org/ghc/
|
| gptkbp:written_in |
gptkb:Haskell
|
| gptkbp:bfsParent |
gptkb:Redis
gptkb:translator gptkb:Web_Assembly gptkb:Oz gptkb:libgtk-3 gptkb:F# gptkb:Rust gptkb:Swift |
| gptkbp:bfsLayer |
4
|