Saya membaca Coders at Work , dan di dalamnya ada banyak pembicaraan tentang invarian. Sejauh yang saya mengerti, invarian adalah suatu kondisi yang berlaku sebelum dan sesudah ekspresi. Mereka, antara lain, berguna dalam membuktikan bahwa loop itu benar, jika saya ingat kursus Logika saya dengan...
Ini adalah cara yang paling populer (menurut saya) untuk memeriksa apakah suatu nilai ada dalam array: for (int x : array) { if (x == value) return true; } return false; Namun, dalam sebuah buku yang saya baca bertahun-tahun yang lalu oleh, mungkin, Wirth atau Dijkstra, dikatakan bahwa gaya...
Saya mengerti 'invarian' dalam arti harfiahnya. Saya juga mengenalinya ketika saya mengetik kode. Tapi saya rasa saya tidak mengerti pentingnya istilah ini dalam konteks ilmu komputer. Setiap kali saya membaca percakapan \ kertas putih tentang desain bahasa dari programmer terkenal \ ilmuwan...
Ketika saya mempelajari C ++ sejak lama, sangat ditekankan kepada saya bahwa bagian dari titik C ++ adalah seperti halnya loop memiliki "loop-invariants", kelas juga memiliki invarian yang terkait dengan masa hidup objek - hal-hal yang seharusnya benar selama benda itu hidup. Hal-hal yang harus...
Saya sadar bahwa konsep invarian ada di berbagai paradigma pemrograman. Sebagai contoh, invarian loop relevan dalam pemrograman OO, fungsional dan prosedural. Namun, satu jenis yang sangat berguna yang ditemukan di OOP adalah invarian data tipe tertentu. Inilah yang saya sebut "invarian berbasis...