“Doğruluk” meşru bir programlama terimi midir?

SO, orijinal türüne bakılmaksızın, bir boole olarak değerlendirildiğinde, bir ifadenin gerçek değeri anlamına gelen "doğruluk" kelimesini kullanan birkaç soruya sahiptir . Dinamik dillerde çok kullanışlıdır.

Benim sorum şu, bu gerçek bir terim mi ve eğer öyleyse Stephen Colbert popüler hale getirmeden önce mi kullanıyorduk? Yoksa daha sonra mı kabul ettik? Bu durumda, yukarıda verdiğim tanımla doğru terim nedir?

Gerçeklik konusunda çok fazla tartışma var .

Merriam-Webster bunu şöyle tanımlar:

1. doğruluk (isim)
   1: "kitaplardan değil, bağırsaktan gelen gerçek" (Stephen Colbert, Comedy Central'ın "The Colbert Report," Ekim 2005)
   2: "kişinin doğru olmasını istediği kavramları veya gerçekleri tercih etme kalitesi doğru olduğu bilinen kavramlar veya gerçekler "(American Dialect Society, Ocak 2006)

Oxford Dictionaries Online şu şekilde tanımlar:

isim
[ kitle isim ] gayri
görünüşteki veya gerçek olamayacak kadar hissediliyor kalitesi, hatta mutlaka doğru değilse.

Menşei :
19. yüzyılın başlarında ('doğruluk' anlamında): ABD mizahçısı Stephen Colbert tarafından modern anlamda üretilmiştir

Bu, Stephen Colbert'ten önce Usenet'te biraz kullanıldı , ancak genellikle " gerçek olduğu bilinen kavramlar veya gerçeklerden ziyade, bir kişinin istediği veya gerçek olduğuna inandığı kavramları veya gerçekleri belirtme kalitesi" gibi kullanılır .

Programlamaya geri dön. Kökenine bakılmaksızın, bu modern "bağırsaktan gelen doğruluk, doğru olmasa bile" çoğu zaman Boole mantığı ve doğruluk tablolarını tartışırken açıkça yanlıştır: bu ififade kesinlikle doğrudur ve bu whileifade kadar yanlıştır (i > k). Bağırsak hissim buna girmiyor.

Programlamada doğruluk kullanıyorsanız , büyük olasılıkla 19. yüzyılın doğruluk anlamını kullanıyorsunuz ve doğruluk veya basitçe gerçeği kullanmak daha açık (ve tartışmasız daha doğru) olacaktır .

Ngram :

Elbette, kullanım değiştikçe İngilizce değişir ve bazı insanlar programlamada gerçeği ifade etmek için doğruluk kullanmaya başladılar . Bununla birlikte, anlam belirsizliğinden kaçınmak için gerçekliğe karşı tavsiyede bulunacağım ("gerçek mutlak gerçek" ile "gerçeklere bakılmaksızın bağırsak gerçeğim hissi").

Belirli çevrelerde bilinen ve kabul edilebilir bir terimdir (örneğin, JavaScript Boole karşılaştırmaları). Bu haliyle, "gerçek" bir terimdir. Kullanılması sayesinde meşru hale gelir.

Tüm bu terimler bir yerden geliyor - dünyaya tamamen oluşmuş ve yerleşik bir anlamlarla gelmiyorlar (örneğin, yazılım hataları, elektronik bilgisayarlar yeni başladığında şimdi sahip oldukları anlamına gelmiyordu).

Akademik olarak kabul edilip edilmediği - bu farklı bir konudur. Bildiğim kadarıyla, boole değerlerinin bu bulanık anlamı için resmi bir terim yoktur.

Doğruyu JavaScript değerlendirmesinde meşru bir terim olarak görüyorum. Douglas Crockford'un JavaScript - 'İyi Parçalar JavaScript'i adlı kitabı,' gerçeği 'doğru olarak değerlendirirse JavaScript'in terimlerini tanımlar. Aynı şekilde, JavaScript'in yanlış olarak değerlendirdiği terimleri 'yanlış' olarak tanımlar. Bu terimi, '==' değerlendirmesinin JavaScript'te nasıl çalıştığını vurgulamak için de kullanır (bu, birçok JavaScript kullanıcısının işe yaradığına inanma biçiminden farklıdır).

Gönderen JavaScript Style Crockford The Elements

== işleci zorlama yazdığı için değerleri true ile karşılaştırmak için kullanılmamalıdır. Amacımız dwsv.checked'in boole değeri true olup olmadığını belirlemekse, === operatörünü kullanmalıyız. Sadece bir değerin doğru (ve değil) olmasını önemsersek, o zaman bir eşitlik operatörü kullanmamak daha iyidir.

Örneğin, zorlama türü nedeniyle. 1 == true doğru, ancak 1 === true yanlış. == işleci, yazım hatalarını gizleyebilir.

Bu bağlamda, terim hem meşru hem de yararlıdır.

Bu bağlamda doğru ve yanlışın başka bir örneği olarak, bu durumlar açıklayıcıdır.

'' == '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

Doğruluk, Stephen Colbert onu kullanmadan çok önce bir kelimeydi. Yemin edebilirim ki bunu mantık / AI gazetelerinde ve bazı fizik gazetelerinde de gördüm, ancak Stephen Colbert'in şovundan önce gelen bir referans bulamıyorum.

Doğruluk , koşullu bir ifadede doğru olarak kabul edilen bir değerin özelliğine atıfta bulunduğu Clojure'da meşru ve iyi tanımlanmış bir terimdir.

Dolayısıyla, aşağıdaki koşullu işlev yalnızca value"doğruluk" ise çağrılır.

  (if value
    (some-conditional-function))

Tek doğru olmayan değerler falseve diğer nilher şey doğru olarak kabul edilir.

Bunun felsefi gerekçesinin nil"yok" anlamına gelebileceğine inanıyorum, bu nedenle koşullu ifade bir değerin varlığını test edebiliyor.

Diğer birçok dilde, koşullu bağlamda doğru olarak kabul edilecek benzer bir değer kavramı da vardır, bu nedenle sonuç olarak, evet, doğruluk bu şekilde kullanıldığında meşru bir programlama terimi olarak kabul edilmelidir.

"Doğruluk", yeni bir dili seçerken anladığımdan emin olduğum bir şeydir, çünkü hepsi farklı bir şekilde ilgilenir. Ana üssü olan Perl dilinde, "0" dizesi yanlış. Birçok dilde, içeriği olan ve bu nedenle doğru olan bir dizedir. Bazı dillerde "" boş dize yanlıştır ve bazılarında doğrudur.

Dil tasarımcılarının doğruluk hakkında yaptıkları seçimleri anlamak size düşünceleri hakkında çok şey anlatır ve sizi dilin kavramsal evrenine sokmaya başlar.

"Doğruluk" u hecelediğimiz veya başka bir terim kullansak da (Deve Kitabı'ndaki o bölümün başlığının "Gerçek Nedir?" Olduğunu düşünüyorum), programcılar "doğru ve yanlış" adı verilen mutlak şeyin değişken değerlerini kavradılar. Colbert gelmeden çok önce ve kamu söyleminde "gerçek" in bükülmesine dikkat çekti.

Size geri sormama izin verin: "gerçek terim" nedir?

İnsanların kullandığı herhangi bir kelime, birden fazla kişi tarafından kullanıldığında (az ya da çok) aynı şey anlamına gelir. Tüm diller sürekli gelişmektedir ve programcının dili de değişmektedir.

Örneğin, Ruby'de rspec test çerçevesi günümüzde xyz.should be_truthybunun yerine tercih ediyor xyz.should be_true. Veya xyz.should be_falseyyerine xyz.should be_false. Tabii ki, ikincisi yerine seçebilirlerdi xyz.should be_wrong. Ama etmediler, bu yüzden "yanlışlığın" bir terim olup olmadığını da sorabiliriz.

Şimdi öyle. Gibi. En azından bu terimleri kullanan topluluklarda. Avukatınıza veya doktorunuza sormayın. :)

"Genel halka sezgisel olarak Doğruluk'un ne olduğunu biliyor mu?" Diye sormak istiyorsan, cevap muhtemelen "hayır" dır.

Kısmi veriler verildiğinde, bir boole ifadesinin doğru (matematiksel) şansını belirleyecek bir sistem yazdım. Yani X, X'in doğru olduğunu kesin olarak belirlemek için yeterli verimiz yoksa,% 73 gerçek olma şansı olduğunu belirleyebiliriz . "Doğruluk", X'e böyle bir yüzde inancını tanımlamak için tamamen geçerli bir yol olacaktır.