Pertanyaan yang diberi tag «type-systems»

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 ID ini nanti untuk memulai operasi dan memantau penyelesaiannya. ID …

141 type-systems 

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 pihak tetapi saya bertanya-tanya apakah ada orang yang telah melakukan penelitian …

69 productivity  comparison  type-systems  dynamic-typing  static-typing 

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 Haskell karena ada begitu …

66 java  haskell  type-systems  static-typing 

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 hilang). Saya ingin menyimpan nilai "kosong" dalam variabel sambil …

57 data-structures  type-systems  data-types 

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 : int …

53 type-systems  static-typing  strong-typing 

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 (o isa SubTypeA) { o.doSomethingA() } else { o.doSomethingB(); …

53 type-systems 

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? Bagaimana dengan konstruktor objek dengan bidang tipe referensi yang …

53 type-systems  null 

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 presentasi di universitas saya. Selama pembicaraan saya, saya menyebutkan bahwa VM menyediakan …

50 programming-languages  language-design  inheritance  type-systems  virtual-machine 

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 selamanya, atau mungkin melempar pengecualian. Apa …

49 programming-languages  type-systems 

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 baik karena ketika casting, manfaat keamanan dari sistem tipe …

47 type-systems  type-safety 

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 variabel saat itu juga. Jadi, kode berikut ini valid: …

45 php  type-systems  weak-typing  type-casting 

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 fitur ini yang tidak menjadi bagian dari Java?

44 java  programming-languages  type-systems  data-types 

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 jenis yang diberikan (atau begitulah pemahaman saya). Adakah yang datang dengan cara konsisten …

43 functional-programming  haskell  type-systems 

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 lemah?

40 type-systems  type-safety  weak-typing 

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, jika Anda lebih sering membaca kode, Anda …

37 programming-languages  type-systems