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 pada tingkat...
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...
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...
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
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
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...
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...
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...
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...
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,...
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...