Pertanyaan yang diberi tag «invariants»

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 benar. Apakah uraian saya benar, …

48 invariants 

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 ini …

17 coding-style  search  loops  invariants  structured-programming 

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 komputer, istilah 'invarian' terus bermunculan sebagai jargon; dan …

16 programming-languages  language-agnostic  invariants 

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 ditetapkan oleh konstruktor, dan dilestarikan …

13 c++  object-oriented-design  c++11  invariants 

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 tipe" dalam judul. Sebagai contoh, suatu Fractiontipe mungkin …

9 functional-programming  language-agnostic  paradigms  invariants