List of Functional Programming Topics - Type Theory

Type Theory

  • Typed lambda calculus
  • Typed and untyped languages
  • Type signature
  • Type inference
  • Datatype
  • Algebraic data type
  • Type variable
  • First-class value
  • Polymorphism
  • Calculus of constructions

Read more about this topic:  List Of Functional Programming Topics

Famous quotes containing the words type and/or theory:

    “Are God and Nature then at strife,
    That Nature lends such evil dreams?
    So careful of the type she seems,
    So careless of the single life;”
    —Alfred Tennyson (1809–1892)

    “The weakness of the man who, when his theory works out into a flagrant contradiction of the facts, concludes “So much the worse for the facts: let them be altered,” instead of “So much the worse for my theory.””
    —George Bernard Shaw (1856–1950)