Skip to content

Instantly share code, notes, and snippets.

@dtoma

dtoma/lexicon.md

Last active December 16, 2015 12:32
Show Gist options
  • Save dtoma/72c389823d105cc43229 to your computer and use it in GitHub Desktop.
Save dtoma/72c389823d105cc43229 to your computer and use it in GitHub Desktop.
Download ZIP
Lexicon - CS
Raw
lexicon.md
  • algebraic data type: a kind of composite type, i.e. a type formed by combining other types. Two common classes of algebraic type are:
    • product types i.e. tuples
    • records and sum types, also called tagged or disjoint unions or variant types

Algebraic" refers to the property that an Algebraic Data Type is created by "algebraic" operations. The "algebra" here is "sums" and "products":

  • "sum" is alternation (A | B, meaning A or B but not both)
  • "product" is combination (A B, meaning A and B together)

Wikipedia
Haskell Wiki

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment