«type-safety» etiketlenmiş sorular

Python’da kodlamaya başladım, öncelikle güvenlik türü olmadığı yerde, sonra C # ve Java’ya olduğu yere taşındım. Python'da biraz daha hızlı ve daha az baş ağrısı ile çalışabileceğimi öğrendim, ancak daha sonra yine C # ve Java uygulamalarım çok daha karmaşık bir seviyededir, bu yüzden Python'a asla gerçek bir stres testi …

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

Derleme aşamasında belirli bir hata sınıfı yakalayabilmek için, güçlü bir şekilde yazılmış typedefleri bildirmenin bir yolunu düşünmeye çalışıyorum. Bu, çoğu zaman çeşitli kimlik türlerine bir int veya tanımlayacağım veya konum veya hız için bir vektör yazacağım durum budur: typedef int EntityID; typedef int ModelID; typedef Vector3 Position; typedef Vector3 Velocity; …

49 c++  c++11  type-safety 

In JavaScript: The Good Parts Douglas Crockford tarafından, onun miras bölümde bahseder Klasik kalıtımın bir diğer faydası ise, bir tür sistemin özelliklerini içermesidir. Bu, çoğunlukla programcının açık döküm işlemleri yazmak zorunda kalmamasını sağlar, bu da çok iyi bir şeydir çünkü döküm yaparken, bir tip sistemin güvenlik yararları kaybolur. Her şeyden …

47 type-systems  type-safety 

Bu bir arkadaşımla yapılan bir tartışmada ortaya çıktı ve kendimi iyi bir argüman düşünmek için zorlandım. Zayıf yazmanın yararları nelerdir?

40 type-systems  type-safety  weak-typing 

Neden XML'in tür güvenliği sağladığını ve XML'in kendisinde nasıl ifade edildiğini söylüyorlar? JSON'dan (örneğin) hangisinin (benim anladığım gibi) güvenli olmadığı ne kadar farklı?

30 xml  type-safety 

Vektörler ve matrislerle ilgili bir kütüphane yazmak istediğimi varsayalım. Boyutları türlere dönüştürmek mümkün mü, böylece uyumsuz boyutların işlemleri derleme zamanında hata üretir mi? Örneğin, nokta ürününün imzasının aşağıdaki gibi olmasını istiyorum dotprod :: Num a, VecDim d => Vector a d -> Vector a d -> a burada dtür tek …

20 haskell  type-systems  type-safety 

Üzerinde çalıştığım yeni bir proje sırasında, şöyle görünen bir çok işlevi kullanmak zorunda kaldım: 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 & Target_Longitude, …

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

bu sayfa http://golang.org/doc/go_faq.html yazıyor: Go'nun statik türleri olmasına rağmen, dil, türleri tipik OO dillerinden daha hafif hissettirmeye çalışır Yani sorum tam olarak güvenli bir şekilde genel (C # gibi) veya gevşek yazılan (javascript gibi) veya isteğe bağlı (Vb.Net'te katı seçenek gibi)

14 programming-languages  algorithms  google  go  type-safety 

Statik tip kontrol hayranıyım. Bunun gibi aptalca hatalar yapmanı engeller: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Ancak bu gibi aptalca hatalar yapmanıza engel olmaz: Adult a = new Adult(); // obviously you've mixed up these fields, but type …

13 business-logic  static-typing  type-safety 

Bir kullanırsanız un mühürlü traitveya abstract classScala ve sonra kullanım desen eşleştirme, acaba mevcuttur bu özellik / sınıfın ne mümkün uygulamalar bu özel PatternMatch derlenmesi sırasında derleyici bilmiyor? Yani, eğer olursa, o kadar olsa bile desen maç uyarıları veremedim trait/ abstract classo tipleri hangi bildiği için kapalı değil verebilir tüm …

10 scala  type-safety  trait  pattern-matching 

PHP'nin statik kod denetiminin tür tutarlılığını algılamasına izin veren Generics eksikliğine yönelik iyi bir çalışma var mı? Ben soyut bir sınıf var, ben alt sınıf ve aynı zamanda bir yöntem bir tür bir parametre alarak, bu parametrenin bir alt sınıf olan bir parametre almak için değişir zorlamak istiyorum. abstract class …

9 inheritance  class  type-safety