Pertanyaan yang diberi tag «type-safety»

Saya mulai coding di Python terutama di mana tidak ada jenis keamanan, kemudian pindah ke C # dan Java di mana ada. Saya menemukan bahwa saya bisa bekerja sedikit lebih cepat dan dengan sakit kepala yang lebih sedikit di Python, tetapi sekali lagi, aplikasi C # dan Java saya berada …

108 data-types  dynamic-typing  static-typing  type-safety 

Saya sudah mencoba memikirkan cara mendeklarasikan typedef yang sangat diketik, untuk menangkap kelas bug tertentu pada tahap kompilasi. Seringkali saya mengetikkan int menjadi beberapa jenis id, atau vektor untuk posisi atau kecepatan: typedef int EntityID; typedef int ModelID; typedef Vector3 Position; typedef Vector3 Velocity; Ini bisa membuat maksud kode lebih …

50 c++  c++11  type-safety 

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 

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 

Mengapa mereka mengatakan bahwa XML menyediakan keamanan tipe dan bagaimana itu dinyatakan dalam XML itu sendiri? Apa bedanya dengan JSON (misalnya) yang (seperti yang saya mengerti) bukan tipe aman?

30 xml  type-safety 

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 sesuatu seperti dotprod :: Num a, VecDim d => Vector a …

20 haskell  type-systems  type-safety 

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 gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & Target_Latitude, double …

17 c++  type-systems  data-types  type-safety 

halaman ini http://golang.org/doc/go_faq.html menulis: meskipun Go memiliki tipe statis, bahasa ini mencoba membuat tipe terasa lebih ringan daripada bahasa OO pada umumnya Jadi pertanyaan saya adalah apakah ini diketik dengan aman dengan generik (seperti C #) atau diketik secara longgar (seperti javascript) atau opsional (seperti opsi ketat di Vb.Net)

14 programming-languages  algorithms  google  go  type-safety 

Saya penggemar berat tipe statis memeriksa. Ini mencegah Anda membuat kesalahan bodoh seperti ini: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Tapi itu tidak mencegah Anda melakukan kesalahan bodoh seperti ini: Adult a = new Adult(); // obviously you've …

13 business-logic  static-typing  type-safety 

Jika saya menggunakan un disegel traitatau abstract classdalam Scala dan kemudian menggunakan pencocokan pola, saya bertanya-tanya, apakah kompiler tidak tahu pada waktu kompilasi untuk patternmatch khusus ini apa implementasi yang mungkin dari sifat / kelas ini yang tersedia? Jadi, jika ya, bisakah itu tidak memberikan peringatan kecocokan pola meskipun trait/ …

10 scala  type-safety  trait  pattern-matching 

Apakah ada pekerjaan yang layak untuk kurangnya PHP Generics yang memungkinkan pemeriksaan kode statis untuk mendeteksi konsistensi jenis? Saya memiliki kelas abstrak, yang ingin saya sub-kelas dan juga menegakkan bahwa salah satu metode berubah dari mengambil parameter dari satu jenis, untuk mengambil parameter yang merupakan sub-kelas dari parameter itu. abstract …

9 inheritance  class  type-safety