Чи "правдивість" є законним терміном програмування?

SO має досить багато питань, використовуючи слово "правдивість", щоб означати значення істини виразу, коли його оцінюють як булеве значення, незалежно від його початкового типу. Це дуже корисно в динамічних мовах.

Отже, моє запитання: чи це справжній термін, і якщо так, то ми використовували його до того, як Стівен Колбер зробив його популярним? Або ми просто прийняли його згодом? У цьому випадку, який правильний термін із визначенням, яке я дав вище?

Існує багато дискусій щодо правдивості .

Мерріам-Вебстер визначає це як:

1. правдивість (іменник)
   1: "правда, що походить з кишечника, а не книг" (Стівен Колберт, "Колбертовий звіт", "Жовтень 2005 р
   ." Комедія Центрального) 2: "Якість переваги понять чи фактів бажає бути правдою, а не поняття чи факти, відомі як правдиві "(Американське діалектне товариство, січень 2006 р.)

Оксфордські словники онлайн визначають це як:

іменник
[ масовий іменник ] неофіційний
якість здається чи відчувається правдивим, навіть якщо не обов'язково правдивим.

Походження :
початок 19 століття (у сенсі "правдивість"): в сучасному розумінні висунуто американським гумористом Стівеном Колбертом

Він використовувався трохи на Usenet до Стівена Колберта, але, як правило, пояснювався, як тільки використовується, наприклад, "якість викладення понять чи фактів, які бажає чи вважає правдивими, а не поняттями чи фактами, відомими як істинні".

Повернутися до програмування. Незалежно від походження, це сучасне відчуття "правди з кишечника, навіть якщо не правдивого" явно неправильне більшість часу при обговоренні булевих логічних та істинних таблиць: це ifтвердження, безумовно, правдиве, і це whileтвердження неправдиве до цього часу (i > k). Моє відчуття кишки не вступає в це.

Якщо ви використовуєте правдивість у програмуванні, швидше за все, ви використовуєте рідкісне значення правдивості 19 століття , і було б одночасно зрозуміліше (і, можливо, правильніше) використовувати правдивість або просто правду .

Ngram :

Звичайно, англійська змінюється в міру зміни використання, і деякі люди почали використовувати правдивість, щоб означати правду в програмуванні. Однак я б радив проти правдивості уникати будь-якої неоднозначності сенсу ("справжня абсолютна істина" проти "мого кишкового відчуття істини, незалежно від фактів").

Це термін, який відомий і прийнятний у певних колах (наприклад, булеві порівняння JavaScript). Як такий, це "реальний" термін. В силу використання він стає законним.

Усі подібні терміни походять звідкись - вони не спливають у світ повністю сформованим та із усталеним значенням (наприклад, програмні помилки не мали того значення, який вони мають зараз, коли електронні комп’ютери тільки почали існувати).

Чи прийнято це академічно - це інша справа. Наскільки я знаю, для цього нечіткого значення булевих значень немає формального терміна ..

Я розглядаю truthy як легітимний термін, який використовується для оцінки JavaScript. Книга Дугласа Крокфорда на JavaScript - "JavaScript хороші частини" визначає терміни, які JavaScript "if" оцінює як істинні як "truthy". Так само він визначає терміни, які JavaScript оцінює як хибні як "хибні". Він також використовує цей термін, щоб підкреслити те, як працює функція '==' в JavaScript (що відрізняється від того, як багато користувачів JavaScript, здається, вважають, що це працює).

З крокфордського "Елементи стилю JavaScript"

Оператор == не повинен використовуватися для порівняння значень з істинним, оскільки він вводить примус. Якщо наша мета полягає у визначенні того, чи вказано dwsv. перевірено булеве значення, то ми повинні використовувати оператор ===. Якщо нас хвилює лише те, що значення є правдою (а не хибною), то краще взагалі не використовувати оператор рівності.

Наприклад, через примус типу. 1 == true - це правда, але 1 === true - хибно. Оператор == може приховати помилки типу.

У цьому контексті термін є і законним, і корисним.

В якості подальшої ілюстрації в цьому контексті правдивого і хибного ці випадки є ілюстративними.

'' == '0' // false    
0 == '' // true
0 == '0' // true

false == 'false' // false
false == '0' // true

false == undefined // false
false == null // false
null == undefined // true

' \t\r\n ' == 0 // true

Істинність була словом задовго до того, як Стівен Колбер використав її. Я можу поклястись, що бачив це в паперах з логікою / AI, і в деяких документах з фізики, але, здається, не можу знайти посилання на той, що передував шоу Стівена Колберта.

Істинність - це законний і чітко визначений термін у Clojure, де в умовному твердженні воно відноситься до властивості значення, яке вважається істинним.

Тож умовна функція, яку наведено нижче, буде називатися лише у тому випадку, якщо вона valueє "truthy"

  (if value
    (some-conditional-function))

Єдині неістинні значення є, falseа nilвсе інше вважається правдою.

Я вважаю, що філософське обгрунтування цього полягає в тому, що nilможна вважати, що воно означає "не існує", тому умовне твердження здатне перевірити наявність цінності.

Багато інших мов також мають подібне поняття цінностей, яке вважатиметься істинним в умовному контексті, тому на закінчення я заперечую, що так, правдивість слід розглядати як законний термін програмування, коли він використовується таким чином.

"Істинність" - це те, що я обов'язково розумію, коли я перебираю нову мову, оскільки всі вони по-різному мають справу з нею. У моїй домашній першій мові Perl рядок "0" помилковий. У багатьох мовах це рядок, який має зміст і тому є істинним. У деяких мовах порожній рядок "" є помилковим, а в деяких - істинним.

Розуміння вибору, який зробили мовні дизайнери щодо правдивості, багато розповідає про їхнє мислення та починає занурювати вас у концептуальну всесвіт мови.

Незалежно від того, чи ми написали це «правдивість», чи використовували якийсь інший термін (я думаю, що заголовок для цієї глави у Книзі верблюдів - «Що таке правда?»), Програмісти мали змогу залежати від різних значень абсолютної речі під назвою «справжня і помилкова». задовго до того, як Колберт прийшов і вказав на згинання "правдивого" в публічному дискурсі.

Дозвольте запитати вас: що таке "реальний термін"?

Будь-яке слово, яке люди використовують, є "справжнім", коли воно використовується декількома людьми, що означає (більш-менш) одне і те ж. Усі мови постійно розвиваються, як і мова програміста.

Наприклад, у Ruby, сьогодні тестова рамка для тестування rspec надає перевагу xyz.should be_truthyзамість xyz.should be_true. Або xyz.should be_falseyзамість цього xyz.should be_false. Звичайно, замість останнього вони могли б вибрати xyz.should be_wrong. Але вони цього не зробили, тому ми також можемо запитати, чи "помилковість" - це термін.

Тепер це так. Типу того. Принаймні в громадах, які використовують ці терміни. Не питайте свого адвоката чи лікаря. :)

Якщо ви мали на меті запитати "чи інтуїтивно зрозуміла широка громадськість, що таке Істина", то, мабуть, відповідь - "ні".

Я написав систему, яка визначила б (математичний) шанс булевого твердження істинним, враховуючи часткові дані. Тобто ми могли б визначити, що існує 73% шанс Xбути правдою, якби ми ще не мали достатньої кількості даних, щоб твердо встановити, що Х було правдою. "Істинність" була б цілком справедливим способом описати таку відсоткову віру в X.