Terminology

Learn the definitions of some prominent functional programming ideas discussed in the course.

We'll cover the following...

Terminology used in the course

Functional programming is a vast field and has an elaborate lexicon. Below are definitions for some of the more prominent functional programming ideas discussed throughout the course:

  • Turing machine: An abstract computation model with memory that manipulates the contents of the memory in accordance with a set of rules.

  • Function: A relation that associates elements of a domain, or a set, to those of a codomain, or another set.

  • Arity: The number of arguments a function accepts.

  • Lambda calculus: A mathematical system developed by Alonzo Church premised on using abstraction and function application for computation that involves variable binding and substitution.

  • ...