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.
-
...