arity

"Arity" is a term borrowed from logic and mathematics, but it's become increasingly important in computer science too. It refers to the number of arguments or inputs that a function, operation, or predicate requires. Think of it as its "input capacity."

Originally, arity described how many places (arguments) a logical predicate takes. For example, "loves(John, Mary)" is a binary relation (arity of two) because it takes two arguments: John and Mary. "IsRed(apple)" is unary (arity of one).

In programming, functions have an arity based on the number of parameters they accept. A function that calculates the area of a rectangle might take two inputs—length and width—giving it an arity of 2. A function to print "Hello" might take no input at all, having an arity of 0.

Understanding arity is crucial for writing correct code and ensuring functions are called with the right number of arguments. If you try to call a function with fewer or more arguments than its defined arity allows, you'll usually get an error! It's also important in database design when defining relationships between tables—specifically, determining how many entities participate in a relationship.

So, while it might sound technical, arity is simply about counting the number of inputs needed for something to do its job—whether that "something" is a mathematical operation, a logical statement, or a piece of computer code.