sistem tipe adalah kumpulan aturan yang menetapkan properti yang disebut tipe untuk berbagai konstruksi — seperti variabel, ekspresi, fungsi, atau modul — yang terdiri dari program komputer.
Baru-baru ini saya mendapat masalah dengan keterbacaan kode saya. Saya memiliki fungsi yang melakukan operasi dan mengembalikan sebuah string yang mewakili ID operasi ini untuk referensi di masa mendatang (sedikit seperti OpenFile di Windows yang mengembalikan pegangan). Pengguna akan menggunakan...
Apakah ada penelitian yang dilakukan pada keefektifan bahasa yang diketik secara statis vs dinamis? Khususnya: Pengukuran produktivitas programmer Tingkat Cacat Juga termasuk efek apakah pengujian unit digunakan atau tidak. Saya telah melihat banyak diskusi tentang manfaat dari kedua belah...
Saya menyadari beberapa hal lebih mudah / lebih sulit dalam satu bahasa daripada yang lain, tetapi saya hanya tertarik pada fitur terkait jenis yang mungkin dalam satu bahasa dan tidak mungkin / tidak relevan dengan yang lain. Untuk membuatnya lebih spesifik, mari kita abaikan ekstensi jenis...
Anggap ini pertanyaan "akademis". Saya telah bertanya-tanya tentang menghindari NULL dari waktu ke waktu dan ini adalah contoh di mana saya tidak dapat menemukan solusi yang memuaskan. Mari kita asumsikan saya menyimpan pengukuran di mana kadang-kadang pengukuran diketahui tidak mungkin (atau...
Eric Lippert membuat poin yang sangat menarik dalam diskusi tentang mengapa C # menggunakan tipe nulldaripada Maybe<T>tipe : Konsistensi sistem tipe adalah penting; dapatkah kita selalu tahu bahwa referensi yang tidak dapat dibatalkan tidak pernah dalam keadaan apapun dianggap tidak valid?...
Mengapa ini OK dan sebagian besar diharapkan: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... sementara ini tidak baik dan tidak ada yang mengeluh: concrete type Name : string { } concrete type Index :...
Dengan asumsi sebuah bahasa dengan keamanan tipe bawaan (mis., Bukan JavaScript): Diberikan metode yang menerima a SuperType, kita tahu bahwa dalam kebanyakan kasus di mana kita mungkin tergoda untuk melakukan pengujian tipe untuk mengambil tindakan: public void DoSomethingTo(SuperType o) { if...
Latar Belakang Saya merancang bahasa, sebagai proyek sampingan. Saya memiliki assembler yang berfungsi, analisa statis, dan mesin virtual untuk itu. Karena saya sudah dapat mengkompilasi dan menjalankan program non-sepele menggunakan infrastruktur yang saya bangun, saya berpikir untuk memberikan...
Tipe dasar adalah konstruk yang terutama muncul dalam teori tipe matematika. Ini juga disebut tipe kosong. Ini adalah tipe yang tidak memiliki nilai, tetapi merupakan subtipe dari semua tipe. Jika tipe pengembalian fungsi adalah tipe bawah, itu berarti ia tidak kembali. Titik. Mungkin loop...
Dalam JavaScript: The Good Parts oleh Douglas Crockford, ia menyebutkan dalam bab warisannya, Manfaat lain dari warisan klasik adalah bahwa ia mencakup spesifikasi sistem tipe. Ini sebagian besar membebaskan programmer dari harus menulis operasi casting eksplisit, yang merupakan hal yang sangat...
PHP, seperti yang kita ketahui, memiliki ketikan yang lemah . Bagi yang tidak, PHP.net mengatakan: PHP tidak memerlukan (atau mendukung) definisi tipe eksplisit dalam deklarasi variabel; tipe variabel ditentukan oleh konteks di mana variabel digunakan. Suka atau benci, PHP membuat ulang...
Saya selalu bertanya-tanya mengapa Java tidak melakukan inferensi ketik mengingat bahasanya memang seperti itu, dan VM-nya sangat matang. Google's Go adalah contoh bahasa dengan inferensi jenis yang sangat baik dan mengurangi jumlah pengetikan yang harus dilakukan. Apakah ada alasan khusus di balik...
Apa sajakah teknik yang mungkin saya gunakan untuk secara konsisten refactor kode menghapus ketergantungan pada tipe eksistensial? Biasanya ini digunakan untuk mendiskualifikasi konstruksi yang tidak diinginkan dari jenis Anda serta untuk memungkinkan konsumsi dengan sedikit pengetahuan tentang...
Ini muncul dalam sebuah diskusi dengan seorang teman, dan saya mendapati diri saya terdesak untuk memikirkan argumen yang bagus. Apa manfaat dari konferensi mengetik yang
Saya membaca kode jauh lebih sering daripada saya menulis kode, dan saya berasumsi bahwa sebagian besar programmer yang mengerjakan perangkat lunak industri melakukan ini. Keuntungan dari inferensi tipe yang saya asumsikan adalah kurang verbositas dan kode yang kurang tertulis. Tetapi di sisi lain,...
Saya telah membaca beberapa artikel di Internet tentang pilihan bahasa pemrograman di perusahaan. Baru-baru ini banyak bahasa dinamis yang diketik telah populer, yaitu Ruby, Python, PHP dan Erlang. Tetapi banyak perusahaan masih tetap dengan bahasa yang diketik statis seperti C, C ++, C # dan...
Saya punya dua program kecil ini: C #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Jawa class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else {
Saya mempelajari Haskell untuk tujuan memahami pemrograman fungsional, dengan harapan bahwa saya akan menerapkan wawasan yang saya peroleh dalam bahasa lain (terutama Groovy, Python, JavaScript.) Saya memilih Haskell karena saya memiliki kesan bahwa itu sangat fungsional, dan tidak akan membiarkan...
Saya telah membaca pertanyaan terkait Apakah ada pola desain yang tidak perlu dalam bahasa dinamis seperti Python? dan ingat kutipan ini di Wikiquote.org Hal yang menakjubkan tentang pengetikan dinamis adalah Anda dapat mengekspresikan apa pun yang dapat dikomputasi. Dan sistem tipe jangan -...
Apakah pengenalan notasi lambda baru (lihat misalnya artikel ini ) di Java 8 akan memerlukan beberapa jenis inferensi? Jika demikian, bagaimana sistem tipe baru akan berdampak pada bahasa Java secara