Pertanyaan yang diberi tag theory

224
Apa gunanya antarmuka dalam PHP?

Antarmuka memungkinkan Anda untuk membuat kode yang mendefinisikan metode kelas yang mengimplementasikannya. Namun Anda tidak dapat menambahkan kode apa pun ke metode tersebut. Kelas abstrak memungkinkan Anda untuk melakukan hal yang sama, bersama dengan menambahkan kode ke metode. Sekarang jika...

185
Apa gunanya skema SQL Server?

Saya bukan pemula untuk menggunakan database SQL, dan khususnya SQL Server. Namun, saya terutama orang SQL 2000 dan saya selalu bingung dengan skema di tahun 2005+. Ya, saya tahu definisi dasar skema, tetapi untuk apa mereka benar-benar digunakan dalam penyebaran SQL Server? Saya selalu...

165
Perbedaan antara Agda dan Idris

Saya mulai terjun ke pemrograman yang diketik secara dependen dan telah menemukan bahwa bahasa Agda dan Idris adalah yang paling dekat dengan Haskell, jadi saya mulai di sana. Pertanyaan saya adalah: manakah perbedaan utama di antara mereka? Apakah sistem jenisnya sama-sama ekspresif pada...

120
Mengapa fungsi inline C ++ di header?

NB Ini bukan pertanyaan tentang bagaimana menggunakan fungsi sebaris atau bagaimana mereka bekerja, lebih banyak mengapa mereka dilakukan sebagaimana adanya. Deklarasi fungsi anggota kelas tidak perlu mendefinisikan fungsi inline, ini hanya implementasi sebenarnya dari fungsi tersebut. Misalnya,...