Talk:Arity

message: Consider the following:
Also, in non-functional programming, a function without arguments can be meaningful and not necessarily constant (due to side effects).
Technically, "pure" should replace "functional", but programming is impure by default (pure programming is a special case of general programming).  — Preceding unsigned comment added by 173.176.165.23 (talk) 08:03, 29 April 2012 (UTC)
thread_title: Unwarranted domain-specific language

message: The list of adjectives "unary", "binary", "ternary", ... is informative but it should link to the wiktionary, not the wikipedia. I'll do that asap. Having "denary" point to Decimal is rather confusing...
Perhaps the wiktionary is the best home for the full list?
PhS 12:01, 1 September 2005 (UTC)
replies: text: Um, it's been a few weeks... I think I'll shift it around myself. Melchoir 23:44, 29 September 2005 (UTC)
thread_title: What's up with the list of adjectives?

message: As an example of a ternary operator, perhaps modular exponentiation,  dc has this built in. It's a bit more mathematical than the two current programming examples. mdclxvi 06:02, 8 July 2007 (UTC)
thread_title:  Other Examples? 

message: The synonyms of arity are given as adicity, type and rank. I would challenge the latter two. Types as used in programming include characteristics of components, not just their number. The type of a function is a different concept which includes the type of its return value. Rank conveys a sense of order of one thing bring of higher rank than another. Both of these words do not seem to really by synonyms of arity. (Adicity is fine as a synonym; a function that takes a variable number of arguments is variadic, for example.) Ablonus (talk) 13:23, 27 November 2008 (UTC)
replies: text: I never heard of "variadic", and if I wanted to challenge anything it would be "adicity" - but Google Scholar has quite a few hits for that. Both "type" and "rank" are very plausible as synonyms for "arity" in some fields of mathematics, although it's hard to search for such uses. That "type" has another, unrelated, meaning in computer science is no more relevant than the fact that it also has another, unrelated, meaning in model theory (see type (model theory)). BTW, the most important synonym of "n-adic" seems to be missing because it doesn't have a version as a noun: "n-place". --Hans Adler (talk) 13:34, 27 November 2008 (UTC)
replies: text: OK. I wasn't aware that they could be synonyms in some fields of mathematics so it's good you mentioned that. I can only comment on the computing side. The opening sentence which currently says, "In logic, mathematics, and computer science, the arity (synonyms include type, adicity, and rank) of a function..." makes it sound as though such synonyms apply to computer science (and, for that matter, to mathematics generally not just parts thereof). That does not seem to be a valid assertion. (By the way the most common example of a variadic function is C's printf. Being variadic it takes an indefinite number of arguments.) Ablonus (talk) 10:21, 28 November 2008 (UTC)
replies: text: Ah, I must have heard this in the C context before. I don't agree with your reading of the parentheses. After all, we add synonyms for users who are more familiar with them than with the article title, not as a recommendation to actually use them. (Unless we do it in the article.) Therefore it doesn't seem really relevant in which fields the synonyms are used. --Hans Adler (talk) 13:46, 28 November 2008 (UTC)
replies: text: That works well when dealing with one subject area or one discipline. In this case, however, three disciplines are mentioned specifically. In the very same sentence (the first) where the three areas of applicability are mentioned the article states that Type and Rank are synonyms. A person who did not know the topic would naturally, on reading this, understand that the synonyms are generally applicable. The first sentence does NOT make it clear that Type is a synonym of Arity only in the fields of mathematics and logic and not in computer science. (Presumably logic goes along with mathematics but maybe not.) Ablonus (talk) 15:08, 28 November 2008 (UTC)
replies: text: Can this section of the discussion page be deleted now? The change being discussed was made more than a year ago. I'm not sure what the guidelines are for when to delete discussion sections. Ablonus (talk) 10:55, 20 March 2010 (UTC)

text: Is the term arity only colloquial use and adicity formal usage? Arity sounds a bit like this, but I am no native speaker. This might be indecated.        --Munibert (talk) 21:05, 30 June 2010 (UTC)
replies: text:  No, they are both formal. Adicity is far less often encountered though, especially in math. Tijfo098 (talk) 08:47, 27 November 2012 (UTC)
thread_title:  Synonyms of arity 

message: The article says that the term "dyadic" less ambiguous than "binary", 
:... as illustrated by the term dyadic Boolean operator where boolean can be safely replaced by binary, but replacing dyadic by binary exposes the ambiguity.
I do not agree.   
# It is not safe (in the sense of "does not change the meaning") to replace "boolean" by "binary".    A boolean operator is a function defined on B, the set of two truth values, or some (finite) power of B; a binary operator is an operator that takes two arguments (usually from the same set. 
# It is true that the term "binary" is used in other contexts, such as "binary arithmetic", where it does not refer to arity. But also "dyadic" is used in other contexts, such as dyadic rationals. 
--Aleph4 (talk) 22:13, 18 May 2011 (UTC)
thread_title:  dyadic, binary, boolean 

message: The example under the ternary heading that uses assembly language is wrong: The notation employed implies AT&T syntax, so the source and destination operands are reversed; the instruction actually moves data from the AX register to memory.  — Preceding unsigned comment added by 79.168.133.49 (talk) 03:09, 18 June 2014 (UTC)
thread_title:  ASM example wrong 

message: The redirect Adic has been listed at redirects for discussion to determine whether its use and function meets the redirect guidelines. Readers of this page are welcome to comment on this redirect at  until a consensus is reached.  1234qwer1234qwer4 13:03, 12 March 2024 (UTC)
thread_title:  "[[:Adic]]" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]]