Important definitions and terminologies used in Haskell Language
A
- Abstract data type in Haskell Language
- ADT in Haskell Language
- Algebraic data type in Haskell Language
- Algebraic Data Types in Haskell Language
- Alpha conversion in Haskell Language
- Anonymous function in Haskell Language
- Applicative Functor in Haskell Language
- Arrow in Haskell Language
- Arrows in Haskell Language
- Attoparsec in Haskell Language
B
- Beta reduction in Haskell Language
- Bind Operator in Haskell Language
- Bottom in Haskell Language
- Bottom Type in Haskell Language
C
- Cabal in Haskell Language
- Cabal-install in Haskell Language
- Camel case in Haskell Language
- Category Theory in Haskell Language
- Closure in Haskell Language
- Coercion in Haskell Language
- Combinator in Haskell Language
- Comonad in Haskell Language
- Comparison of functional programming languages in Haskell Language
- Concrete data type in Haskell Language
- Concurrency in Haskell Language
- Confluent term rewriting system in Haskell Language
- Constant applicative form in Haskell Language
- Constraint Kinds in Haskell Language
- Continuation in Haskell Language
- Continuation Passing Style in Haskell Language
- Control Flow in Haskell Language
- Curry in Haskell Language
- Curry-Howard Correspondence in Haskell Language
- Currying in Haskell Language
D
- Data Types in Haskell Language
- Data.Kinds in Haskell Language
- Deforestation in Haskell Language
- Denotational Semantics in Haskell Language
- Denotative in Haskell Language
- Dependent Types in Haskell Language
- Deriving Via in Haskell Language
- Do Notation in Haskell Language
- DSL in Haskell Language
- Dynamic in Haskell Language
- Dynamic Typing in Haskell Language
E
- Eager evaluation in Haskell Language
- EDSL in Haskell Language
- Embedded domain specific language in Haskell Language
- Equational Reasoning in Haskell Language
- Error in Haskell Language
- Eta conversion in Haskell Language
- Exception in Haskell Language
- Existential type in Haskell Language
- Existential Types in Haskell Language
- Expression in Haskell Language
F
- FFI in Haskell Language
- First-Class Function in Haskell Language
- Fold in Haskell Language
- Free expression in Haskell Language
- Free Monad in Haskell Language
- Free structure in Haskell Language
- Free variable in Haskell Language
- Function composition in Haskell Language
- Function in Haskell Language
- Function inlining in Haskell Language
- Function unfolding in Haskell Language
- Functional dependencies in Haskell Language
- Functional programming/Old version in Haskell Language
- Functor in Haskell Language
G
- GADTs in Haskell Language
- Garbage collector in Haskell Language
- Generalised algebraic datatype in Haskell Language
- Generics in Haskell Language
- GHC in Haskell Language
- Global Type Inference in Haskell Language
H
- Hackage in Haskell Language
- Haddock in Haskell Language
- Heterogenous collections in Haskell Language
- Higher order function in Haskell Language
- Higher-order Functions in Haskell Language
- Higher-Order Types in Haskell Language
- Hindley-Milner Algorithm in Haskell Language
- Hindley-Milner Type Inference in Haskell Language
- HLint in Haskell Language
- Hoare Property in Haskell Language
- Hoogle in Haskell Language
I
- Implicit Parameters in Haskell Language
- Import in Haskell Language
- Impredicative types in Haskell Language
- Infix operator in Haskell Language
- Intermediate Language in Haskell Language
- IO in Haskell Language
- Isomorphism in Haskell Language
- Iterate in Haskell Language
J
- JSON in Haskell Language
L
- Lambda Abstraction in Haskell Language
- Lambda Calculus in Haskell Language
- Laziness in Haskell Language
- Lazy Evaluation in Haskell Language
- Lazy pattern match in Haskell Language
- Lazy Stream in Haskell Language
- Lens in Haskell Language
- Lens Library in Haskell Language
- Lifted IO in Haskell Language
- Liskov Substitution Principle in Haskell Language
- List Comprehension in Haskell Language
- List Fusion in Haskell Language
- List in Haskell Language
- Literate programming in Haskell Language
M
- Maximal free expression in Haskell Language
- Memoization in Haskell Language
- Memoizing in Haskell Language
- Memory leak in Haskell Language
- Memory Management in Haskell Language
- Metacircular Evaluator in Haskell Language
- Metaprogramming in Haskell Language
- Module System in Haskell Language
- Monad (sans metaphors) in Haskell Language
- Monad in Haskell Language
- Monad Transformers in Haskell Language
- Monoid in Haskell Language
- Monomorphism in Haskell Language
- Monomorphism restriction in Haskell Language
- MTL in Haskell Language
- Multi-parameter type class in Haskell Language
- Multi-parameter Type Classes in Haskell Language
- Mutually recursive modules in Haskell Language
N
- Non-strict semantics in Haskell Language
- Nondeterminism in Haskell Language
- Null in Haskell Language
- Numeric Tower in Haskell Language
O
- Overloading in Haskell Language
P
- Parallel/Glossary in Haskell Language
- Parsec in Haskell Language
- Partial application in Haskell Language
- Partial Function in Haskell Language
- Partial functions in Haskell Language
- Partial Order in Haskell Language
- Pattern guard in Haskell Language
- Pattern Matching in Haskell Language
- Peano numbers in Haskell Language
- Phantom type in Haskell Language
- Phantom Types in Haskell Language
- Point-free Style in Haskell Language
- Polymorphism in Haskell Language
- Prelude in Haskell Language
- Profiling in Haskell Language
- Pure Function in Haskell Language
- Pure in Haskell Language
- Purely Functional in Haskell Language
Q
- QuasiQuotation in Haskell Language
- QuickCheck in Haskell Language
- QuickCheck2 in Haskell Language
R
- Rank-2 Polymorphism in Haskell Language
- Rank-n Types in Haskell Language
- Reader Monad in Haskell Language
- Record Syntax in Haskell Language
- Recursion in a monad in Haskell Language
- Recursion in Haskell Language
- Recursive Function in Haskell Language
- Reducible expression in Haskell Language
- Refactoring in Haskell Language
- Referential transparency in Haskell Language
- Regular Expression in Haskell Language
- Reified type in Haskell Language
- REPL Driven Development in Haskell Language
- REPL in Haskell Language
- Reverse Polish Notation in Haskell Language
S
- Safe Haskell in Haskell Language
- Scoped Type Variables in Haskell Language
- Section of an infix operator in Haskell Language
- Seq in Haskell Language
- Sharing in Haskell Language
- Short cut fusion in Haskell Language
- Short-circuiting in Haskell Language
- Smart constructors in Haskell Language
- Software Transactional Memory in Haskell Language
- ST Monad in Haskell Language
- State Monad in Haskell Language
- Strict Data in Haskell Language
- Strict Function in Haskell Language
- Strict semantics in Haskell Language
- Strictness in Haskell Language
- Studly capitals in Haskell Language
- Subtyping in Haskell Language
- Super combinator in Haskell Language
- Supercombinator in Haskell Language
- Syntax Extension in Haskell Language
- System F in Haskell Language
T
- Tail Recursion in Haskell Language
- Template Haskell in Haskell Language
- Template Haskell Library in Haskell Language
- Terms in Haskell Language
- Thunk in Haskell Language
- Total Function in Haskell Language
- Tuple in Haskell Language
- Type Abstraction in Haskell Language
- Type Applications in Haskell Language
- Type class in Haskell Language
- Type Coercion in Haskell Language
- Type Constructor in Haskell Language
- Type Directed Name Resolution in Haskell Language
- Type Erasure in Haskell Language
- Type Families and Associated Types in Haskell Language
- Type Families in Haskell Language
- Type Inference in Haskell Language
- Type Signature in Haskell Language
- Type synonym in Haskell Language
- Type Synonyms in Haskell Language
- Type Variables in Haskell Language
- Type-level Naturals in Haskell Language
- Type-level Programming in Haskell Language
- Type-Safe in Haskell Language
- Typeclasses in Haskell Language
- Typing in Haskell Language
U
- Unboxed Types in Haskell Language
- Underflow in Haskell Language
- Unicode in Haskell Language
- Unification in Haskell Language
- Unit Testing in Haskell Language
- Unsafe Functions in Haskell Language
- UTF-8 Encoding in Haskell Language
V
- Variable in Haskell Language
- Variadic Function in Haskell Language
- Vector in Haskell Language
- View Patterns in Haskell Language
- Vogonism in Haskell Language
X
- XMonad in Haskell Language
Y
- Y-combinator in Haskell Language
Z
- Zipper in Haskell Language
