Re: Patch: iff -> if

Поиск
Список
Период
Сортировка
От Christopher Browne
Тема Re: Patch: iff -> if
Дата
Msg-id CAFNqd5VqZaO2Z8qeV4P5dTEFC7M4P+L_fTvPXuq83NHsFhqX=w@mail.gmail.com
обсуждение исходный текст
Ответ на Patch: iff -> if  (Andreas 'ads' Scherbaum <adsmail@wars-nicht.de>)
Список pgsql-hackers
On Tue, Apr 15, 2014 at 6:19 PM, Andreas 'ads' Scherbaum <adsmail@wars-nicht.de> wrote:

Hi,

stumbled over a number of "iff" in the source where "if" is meant - not sure what the real story behind this is, but attached is a patch to fix the about 80 occurrences.


"IFF" is a common idiom in mathematics (and logic, which means it will be of interest in computer science, which shares boundaries with both) which stands for "If And Only If".

Unless it has very recently fallen out of fashion in mathematics, it's almost certainly intentional to use "iff" in the comments, and not merely a typo.
--
When confronted by a difficult problem, solve it by reducing it to the
question, "How would the Lone Ranger handle this?"

В списке pgsql-hackers по дате отправления:

Предыдущее
От: Tom Lane
Дата:
Сообщение: Re: Patch: iff -> if
Следующее
От: David G Johnston
Дата:
Сообщение: Re: Patch: iff -> if