Sudah umum diterima bahwa generik Java gagal dalam beberapa hal penting. Kombinasi kartu liar dan batas menyebabkan beberapa kode serius tidak dapat dibaca. Namun, ketika saya melihat bahasa lain, saya benar-benar tidak bisa menemukan sistem tipe generik yang disukai oleh para programmer. Jika...
Saya tahu ini adalah pertanyaan yang sangat luas, ambigu, dan mungkin filosofis. Sampai batas tertentu, kata kunci yang paling penting dalam pertanyaan - sistem tipe "kuat" - itu sendiri, tidak terdefinisi dengan baik . Jadi, izinkan saya mencoba menjelaskan apa yang saya maksud. Konteks...
Tampaknya semua bahasa pemrograman baru atau setidaknya yang menjadi populer menggunakan inferensi tipe. Bahkan Javascript mendapat jenis dan tipe inferensi melalui berbagai implementasi (Acscript, typescript dll). Itu tampak hebat bagi saya tapi saya bertanya-tanya apakah ada trade-off atau...
Dalam artikel Eric Lippert Ada Apa Dengan Notasi Hongaria? , ia menyatakan bahwa tujuan Notasi Hongaria (jenis yang baik) adalah untuk memperluas konsep "tipe" untuk mencakup informasi semantik di samping informasi representasi penyimpanan. Contoh sederhana adalah awalan variabel yang mewakili...
Ketika merancang dan implenting bahasa pemrograman berorientasi objek, di beberapa titik kita harus membuat pilihan tentang pelaksanaan jenis dasar (seperti int, float, doubleatau setara) sebagai kelas atau sesuatu yang lain. Jelas, bahasa dalam keluarga C memiliki kecenderungan untuk tidak...
Saya agak bingung tentang perbedaan antara sistem tipe nominal dan struktural. Bisakah seseorang menjelaskan perbedaannya? Dari apa yang saya mengerti: Nominal: Jenis kompatibilitas didasarkan pada nama jenis. Struktural: Kompatibilitas jenis didasarkan pada struktur tipe, misalnya dalam C jika...
Catatan: Ketika saya menggunakan "complex" dalam judul, maksud saya bahwa ekspresi memiliki banyak operator dan operan. Bukan berarti ungkapan itu sendiri rumit. Saya baru-baru ini bekerja pada kompiler sederhana untuk perakitan x86-64. Saya telah menyelesaikan ujung depan utama kompiler - lexer...
Apakah ada beberapa alasan teoretis untuk itu (seperti pemeriksaan tipe atau inferensi tipe menjadi tidak dapat dipastikan), atau alasan praktis (terlalu sulit untuk diterapkan dengan benar)? Saat ini, kita bisa membungkusnya menjadi newtypeseperti newtype Pair a = Pair (a, a) dan kemudian...
Saya pernah membaca bahwa Hindley-Milner tidak bekerja dengan sistem tipe yang memiliki subclass, dan ada fitur sistem tipe lain yang juga tidak bekerja dengan baik dengannya. Go saat ini hanya memiliki tipe inferensi yang sangat terbatas di :=operator. Tapi Go tidak memiliki subclass dalam arti...
Ketika menjelaskan kombinator Y dalam konteks Haskell, biasanya dicatat bahwa implementasi straight-forward tidak akan mengetik-cek di Haskell karena tipe rekursifnya. Misalnya, dari Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite...
Misalkan saya ingin menulis perpustakaan yang berhubungan dengan vektor dan matriks. Apakah mungkin untuk memanggang dimensi ke dalam jenis, sehingga operasi dimensi yang tidak kompatibel menghasilkan kesalahan pada waktu kompilasi? Misalnya saya ingin tanda tangan dari produk titik menjadi...
Saya baru-baru ini bertanya-tanya mengapa kata kunci autodipilih dalam C ++ 11 untuk menandai variabel yang jenisnya harus disimpulkan oleh kompiler, seperti di auto x = 1; Sejak var tampaknya lebih umum di bahasa pemrograman lain (misalnya C #, Scala, JavaScript), dan Sejauh yang saya mengerti...
Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format tanya jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengundang debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa
Saya telah tertarik pada jenis keunikan sebagai alternatif untuk monad dalam bahasa fungsional murni untuk beberapa waktu; Sayangnya, ini adalah semacam area esoterik penelitian CS dan sumber daya online tentang pemrograman dengan tipe keunikan sedikit dan jarang. Sudah jelas bagaimana tipe...
Semakin saya belajar tentang paradigma pemrograman yang berbeda, seperti pemrograman fungsional, semakin saya mulai mempertanyakan kebijaksanaan konsep OOP seperti pewarisan dan polimorfisme. Saya pertama kali belajar tentang pewarisan dan polimorfisme di sekolah, dan pada saat itu polimorfisme...
Selama proyek baru-baru ini yang saya kerjakan, saya harus menggunakan banyak fungsi yang terlihat seperti ini: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double...
Catatan awal: Pertanyaan ini ditutup setelah beberapa pengeditan karena saya tidak memiliki terminologi yang tepat untuk menyatakan secara akurat apa yang saya cari. Sam Tobin-Hochstadt kemudian memposting komentar yang membuat saya mengenali persis apa itu: bahasa pemrograman yang mendukung...
Saya cukup yakin semua orang akrab dengan metode generik formulir: T DoSomething<T>(T item) Fungsi ini juga disebut parametrically polymorphic (PP), khususnya peringkat-1 PP. Katakanlah metode ini dapat direpresentasikan menggunakan objek fungsi dari bentuk: <T> : T ->...
Saya baru saja menyaksikan pembicaraan oleh Daniel Spiewak ini di mana ia berbicara tentang keuntungan pengetikan struktural dibandingkan dengan pengetikan nominal Jawa Scala dan Jawa . Salah satu contoh untuk perbedaan ini adalah kode Java berikut public interface Foo { public int...
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...