Eiffel memiliki Implikasi
Sebenarnya memiliki lebih banyak. Ini memiliki sejumlah operator semi-ketat dan juga ketat.
Alasan pemrogram tidak menggunakan hal-hal seperti itu adalah karena mereka tidak pernah dilatih untuk mengetahui dengan tepat apa mereka, bagaimana menggunakannya, dan kapan menggunakannya - serta bagaimana merancang dengan mereka. Karena mereka tidak pernah dilatih, mereka tidak pernah memintanya dari penulis kompiler, itulah sebabnya orang-orang kompiler tidak repot-repot menempatkan mekanisme seperti itu di kompiler. Ketika siswa Ilmu Komputer dan programmer Shade-tree mulai mendapatkan pendidikan yang lebih bulat, maka para penyusun akan mulai mengejar ketinggalan.
Ternyata sekali Anda memiliki bahasa dengan operator Boolean tersebut dan Anda tahu cara mendesain dengan mereka dan menggunakannya, maka Anda menggunakannya.
Di Eiffel penggunaan kata kunci "menyiratkan" agak menonjol karena Desain-oleh-Kontrak karena sifat berat pernyataan Boolean dari kontrak. Ada beberapa kontrak yang hanya dapat ditulis dengan benar dan efisien dengan operator "menyiratkan". Ini kemudian memunculkan komentar bahwa bahasa tanpa kontrak lebih jauh tanpa alasan untuk melihat, melatih, dan mengimplementasikan penggunaan implikasi.
Tambahkan ke ini bahwa kebanyakan programmer adalah "matematika-dan-logika-lemah" memberitahu kita sisa cerita. Bahkan jika Anda matematika-dan-logika-berat dalam pendidikan Anda, ketika seseorang memilih bahasa yang tidak mengimplementasikan konstruksi seperti implikasi, maka orang cenderung berpikir hal-hal seperti itu tidak perlu atau tidak berguna. Satu jarang mempertanyakan bahasa dan masuk ke ruang gema dari: "Yah kompiler tidak melihat kebutuhan" dan "Yah programmer tidak melihat kebutuhan" - lingkaran yang tak berujung dan ganas.
Sebagai gantinya, orang-orang penyusun perlu mendukung teori, menulis notasi bahasa yang disarankan atau disiratkan oleh teori (misalnya Teori Berorientasi Objek) terlepas dari apa yang dipikirkan atau diminta oleh massa programmer yang tidak dicuci. Dari sana, para profesor, guru, dan profesional lainnya perlu melatih para ahli muda yang cakap berdasarkan teori mentah dan BUKAN "teori-melalui-lensa-bahasa". Ketika ini terjadi, orang-orang akan tiba-tiba bangun dan menyadari apa yang telah mereka lewatkan dan apa yang telah dilakukan pada mereka.
Saat ini - ada banyak teori di luar sana yang menyamar sebagai Berorientasi Objek, tetapi hanya OO-melalui-kaca-gelap-of-[pilih-bahasa-Anda]. Seseorang tidak dapat membaca sebagian besar buku "teori" tentang OO karena mereka ingin menafsirkan apa teorinya melalui lensa dari beberapa bahasa. Benar-benar salah dan salah. Ini akan seperti mengajar berbasis matematika pada kalkulator saya atau aturan slide saya. TIDAK - seseorang mengizinkan kenyataan untuk mengajarkan satu tentang dirinya sendiri dan kemudian menggunakan notasi untuk menggambarkan apa yang diamati - yang disebut "sains". Tumbuk lain yang disebut OO berbasis-bahasa-X ini sangat miring sehingga nyaris tidak mewakili kenyataan.
Jadi, menjauhlah dari bahasanya, lihat teori mentah, dan mulai lagi. Jangan biarkan batasan, kendala, dan pekerjaan cat suatu bahasa memberi tahu Anda apa teorinya. Biarkan saja realitas teori menentukan notasinya sendiri dan kemudian pindah dari sana ke merumuskan bahasa.
Dari sana, Anda akan mulai mendapatkan bagaimana implikasi dan "implikasi" tidak hanya berguna, tetapi elegan dan sangat keren!
Selamat menikmati!