Jika Anda memiliki enum dengan nilai saja (tidak ada metode yang dapat dilakukan di Jawa), dan enum ini adalah bagian dari definisi bisnis sistem, haruskah seseorang menulis unit test untuknya? Saya berpikir bahwa mereka harus ditulis, bahkan jika itu bisa terlihat sederhana dan berlebihan saya...
Dalam jawaban untuk pertanyaan sebelumnya , debat kecil dimulai tentang terminologi yang benar untuk konstruksi tertentu. Karena saya tidak menemukan pertanyaan (selain ini atau itu , yang bukan hal yang benar) untuk mengatasinya dengan jelas, saya membuat yang baru ini. Istilah yang dipertanyakan...
Saya baru saja selesai mempelajari Anda , mengatakan pada suatu hari, dan saya berusaha memahami Pembatasan Monomorphism, seperti yang dijelaskan oleh Haskell Wiki . Saya pikir saya mengerti bagaimana MR dapat mencegah evaluasi berulang, tetapi saya gagal melihat mengapa evaluasi berulang itu tidak...
Beberapa bahasa mengizinkan kelas dan fungsi dengan parameter tipe (seperti di List<T>mana Tmungkin tipe arbitrer). Misalnya, Anda dapat memiliki fungsi seperti: List<S> Function<S, T>(List<T> list) Namun beberapa bahasa memungkinkan konsep ini diperluas satu tingkat...
Haskell memiliki gagasan tentang "fungsi generik" yang memiliki beberapa kemiripan yang jelas dengan common lisp — tidak memiliki pengalaman dengan Haskell atau dengan common lisp, saya mungkin sangat aproksipatif di sini. Ini berarti bahwa seseorang dapat mendefinisikan to_stringfasilitas generik...
Pekerjaan Liskov di bidang ini berfokus pada subtyping perilaku, yang selain jenis keamanan sistem yang dibahas dalam artikel ini juga mensyaratkan bahwa subtipe mempertahankan semua invarian yang dijamin oleh supertipe dalam beberapa kontrak. [3] Definisi subtyping ini umumnya tidak dapat...
Diberi jenis eksistensial T = ∃X.{op₁:X, op₂:X→boolean} dan antarmuka Java generik ini: interface T<X> { X op₁(); boolean op₂(X something); } Apa perbedaan mendasar antara tipe eksistensial dan antarmuka Java? Jelas ada perbedaan sintaksis, dan orientasi objek Java (yang juga mencakup...
Saya ingin mendefinisikan kelas tipe untuk objek geometris yang dapat disatukan: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Idenya adalah memiliki fungsi persimpangan tujuan umum yang dapat...
Saya telah membaca beberapa makalah, artikel, dan bagian 4.1.4, bab 4 dari Penyusun: Prinsip, Teknik, dan Peralatan (Edisi ke-2) (alias "The Dragon Book") yang semuanya membahas topik pemulihan kesalahan kompiler sintaksis. Namun, setelah bereksperimen dengan beberapa kompiler modern, saya telah...
Generik di Jawa diimplementasikan menggunakan tipe erasure. JLS mengatakan bahwa ilham itu kompatibilitas ke belakang. Di mana seperti di sisi lain C # generik dapat diverifikasi. Secara teoritis apa kelebihan dan kekurangan dengan memiliki Generics sebagai "penghapusan" atau "dapat...
Dalam teori bahasa pemrograman, suatu tipe adalah sekumpulan nilai. Misalnya jenis "int" adalah himpunan semua nilai integer. Dalam bahasa OOP, kelas adalah tipe, bukan? Ketika suatu kelas didefinisikan dengan lebih dari satu anggota, mis class myclass{ int a; double b; } Ketika kita...
Baru-baru ini, saya menjadi sangat tertarik pada Haskell. Ketika mencoba mempelajari konsep-konsep baru (misalnya kata kunci forall dan ST monad ) dan sistem tipe Haskell secara umum, saya terus mengalami konsep-konsep dari teori kategori dan kalkulus lambda . Jadi, saya bertanya-tanya: Cabang...
Karena penasaran, apakah ada bahasa yang memungkinkan Anda melakukan set aritmatika pada jenis untuk membuat jenis baru? Sesuatu seperti: interface A { void a(); void b(); } interface B { void b(); void c(); } interface C = A & B; // has b() interface D = A | B; // has a(), b() and...
Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga berfokus pada satu masalah hanya dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Saya mengetahui...
Saya telah membaca bahwa Go sebenarnya tidak memiliki inferensi tipe yang sebenarnya dalam arti bahwa bahasa fungsional seperti ML atau Haskell miliki, tetapi saya belum dapat menemukan perbandingan yang sederhana untuk memahami kedua versi. Bisakah seseorang menjelaskan secara mendasar bagaimana...
Saya bertanya-tanya apakah ada perbedaan antara kelas tipe Haskell dan antarmuka Go. Keduanya mendefinisikan tipe berdasarkan fungsi, dengan cara itu, bahwa suatu nilai cocok dengan suatu tipe, jika suatu fungsi yang dibutuhkan oleh tipe tersebut didefinisikan untuk nilai tersebut. Apakah ada...
C ++ 0x menambahkan dukungan inferensi tipe komprehensif yang sangat sangat rumit. Saya sangat tergoda untuk menggunakannya sedapat mungkin untuk menghindari pengulangan yang tidak semestinya, tapi saya bertanya-tanya apakah menghapus informasi jenis eksplisit di semua tempat adalah ide yang bagus....