Baru-baru ini saya menemukan kerangka kerja Microsoft untuk kontrak kode. Saya membaca sedikit dokumentasi dan mendapati diri saya terus-menerus bertanya: "Mengapa saya ingin melakukan ini, karena tidak dan sering tidak dapat melakukan analisis statis." Sekarang, saya sudah memiliki semacam gaya...
Saya belajar tentang kontrak kode di .NET, dan saya mencoba memahami gagasan konstruktor murni. The kontrak Kode negara dokumentasi: Semua metode yang disebut dalam kontrak harus murni; yaitu, mereka tidak boleh memperbarui keadaan yang sudah ada sebelumnya. Metode murni diizinkan untuk...
Saya seorang programmer yang agak defensif dan penggemar berat Kontrak Kode Microsoft. Sekarang saya tidak bisa selalu menggunakan C # dan dalam kebanyakan bahasa satu-satunya alat yang saya miliki adalah pernyataan. Jadi saya biasanya berakhir dengan kode seperti ini: class { function() {...
Saya penggemar tulisan, kontrak, atau jenis cek apa pun yang tersedia dalam bahasa yang saya gunakan. Satu hal yang sedikit mengganggu saya adalah bahwa saya tidak yakin apa praktik umum untuk menangani cek duplikat. Contoh situasi: Saya pertama-tama menulis fungsi berikut void DoSomething(...
Saya sedang melakukan proyek penelitian di mana saya meneliti opsi untuk menangani perubahan dalam arsitektur layanan-mikro yang didorong oleh peristiwa. Jadi, katakanlah kita punya aplikasi di mana kita mendapat empat layanan berbeda. Setiap layanan ini memiliki database sendiri untuk menyimpan...