hs.TERMS.md

# Haskell :: TERMS

- Abstract syntax tree
- Arrow notation
- Constructor
- Cunning Newtype Deriving
- Foreign Function Interface
- Functional dependencies
- GADT
- Import
- Keywords
- Kind
- Layout
- Literate programming
- Newtype
- Pattern guard
- Quasiquotation
- Section of an infix operator
- Smart constructors
- Smart destructors
- Template Haskell
- Type
- Type families
- Type signature
- Unary operator
- View patterns



Concepts
- IO
- Lazy IO
- Handle IO
- Streaming IO
- Conduit
- Iteratee
- Pipes
- FRP
- Quickcheck
- Smallcheck
- lazysmallcheck
- HSpec

* Data transfer formats
  - serialization
  - aeson, JSON
  - XML
  - yaml
  - csv
* Direct Mutability
  - MVar
  - CVar
  - Mutable structures
    - mutable array
* Lenses
  - lens
  - lens-aeson
* Parsing
  - Parsing combinators
  - Parsec
  - megaparsec
  - Attoparsec
  - Happy, Alex
  - BNFC
* Template Haskell
  - raw-strings-qq
* Web Frameworks
  - Yesod
  - Snap
  - Happstack
* Monads
  - Free, Freer
  - Monad transformers
* Concurrency
  - Concurrency
  - Parallelism
  - async
* DSLs
  - GADTs
* Polymorphism
  - Higher-rank types, Rank-n Types
  - Recursive polymorphism
  - Quantification
    - Universal
    - Existential
* Kind system
  - Higer-kinded polymorphism
  - Constraint kind
* Constraints
  - Constraint kind
* Dependent Haskell
  - data (ctor) promotion, DataKinds
  - singletons
  - type families
  - typelits-witnesses
  - TypeLits
* Type Theory
  - Liquid Haskell
  - Lambda Calculus
  - Recursion schemas
  - type inference
  - type unification
    - unification-fd
  - type equality
    - weak propositional type equality
    - stronk propositional type equality
* Category Theory
  - Functors, Contravariants
  - Monads, Comonads
  - Natural Tranformations
  - pointed
  - recursion-schemes
  - semigroupoids
  - semigroups