«type-systems» etiketlenmiş sorular

Son zamanlarda kodumun okunabilirliği ile ilgili bir sorunla karşılaştım. Bir işlem yapan ve ileride başvurmak üzere bu işlemin kimliğini temsil eden bir dize döndüren bir işlevim vardı (Windows'ta bir tanıtıcı döndüren biraz OpenFile gibi). Kullanıcı bu kimliği işlemi daha sonra başlatmak ve sonunu izlemek için kullanır. ID birlikte çalışabilirlik endişeleri …

141 type-systems 

Dinamik olarak yazılan ve statik olarak yazılmış dillerin etkinliği konusunda yapılan çalışmalar var mı? Özellikle: Programcı verimliliğinin ölçülmesi Kusur oranı Ayrıca, birim testinin yapılıp yapılmayacağının etkilerini de içerir. Her iki tarafın yararları hakkında çok fazla tartışma gördüm, ancak birisinin üzerinde bir çalışma yapıp yapmadığını merak ediyorum.

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

Bazı şeylerin bir dilde diğerinden daha kolay / daha zor olduğunun farkındayım, ancak yalnızca bir tanesinde mümkün olan ve diğerinde imkansız / alakasız türlerle ilgili özelliklerle ilgileniyorum. Daha belirgin hale getirmek için, Haskell tipi uzantıları görmezden gelelim, çünkü orada her türlü çılgın / havalı şeyi yapan çok insan var.

66 java  haskell  type-systems  static-typing 

Bunu "akademik" bir soru olarak kabul edin. Zaman zaman NULL'lardan kaçınmayı merak ediyordum ve bu tatmin edici bir çözüm bulamadığım bir örnek. Varsayalım ki, ölçümlerin bazen imkansız (veya eksik) olduğu bilinen yerlerde saklıyorum. NULL'dan kaçınırken bu "boş" değeri bir değişkende saklamak istiyorum. Diğer zamanlarda değer bilinmiyor olabilir. Bu nedenle, belirli …

57 data-structures  type-systems  data-types 

Bu neden tamam ve çoğunlukla bekleniyor: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... bu tamam değilken ve hiç kimse şikayet etmez: concrete type Name : string { } concrete type Index : int { } …

53 type-systems  static-typing  strong-typing 

Bazı doğal güvenlik türlerine sahip bir dil varsayarak (örneğin, JavaScript değil): A'yı kabul eden bir yöntem göz önüne alındığında SuperType, çoğu durumda bir eylem seçmek için tip sınaması yapmak için cazip olabileceğimizi biliyoruz: public void DoSomethingTo(SuperType o) { if (o isa SubTypeA) { o.doSomethingA() } else { o.doSomethingB(); } } …

53 type-systems 

Eric Lippert, C # 'nın neden nullbir Maybe<T>tip yerine neden kullanıldığını tartışmasında çok ilginç bir noktaya değindi : Tip sisteminin tutarlılığı önemlidir; Null edilemeyen bir referansın hiçbir zaman geçersiz olduğu gözlemlenen koşullar altında olmadığını her zaman bilebilir miyiz? NULL olmayan bir referans türü olan bir nesnenin yapıcısına ne demeli? Peki …

53 type-systems  null 

Arka fon Bir yan proje olarak bir dil tasarlıyorum. Çalışan bir montajcıya, statik analizöre ve bunun için sanal makineye sahibim. Yaptığım altyapıyı kullanarak önemsiz programları derleyebildiğim ve çalıştırabildiğim için üniversitemde bir sunum yapmayı düşündüm. Konuşmam sırasında VM'nin bir tip sistem sağladığını, " Tip sisteminiz ne için? " Diye sordum . …

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

Bir alt tip, öncelikle matematiksel tip teorisinde ortaya çıkan bir yapıdır. Ayrıca boş tip olarak da adlandırılır. Değeri olmayan bir türdür, ancak tüm türlerin bir alt türüdür. Bir işlevin dönüş türü, alt tür ise, bu geri dönmediği anlamına gelir. Dönemi. Belki de sonsuza dek sürüyor, ya da bir istisna atıyor. …

49 programming-languages  type-systems 

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 

PHP, çoğumuzun bildiği gibi, yazarak zayıf . Yapmayanlar için, PHP.net diyor ki: PHP değişken bildiriminde açık tür tanımı gerektirmez (veya desteklemez); değişkenin türü değişkenin kullanıldığı bağlamda belirlenir. Sevin ya da nefret et, PHP anında değişkenleri tekrar yayınlar. Bu nedenle, aşağıdaki kod geçerlidir: $var = "10"; $value = 10 + $var; …

45 php  type-systems  weak-typing  type-casting 

Java'nın, dilin ne olduğu ve VM'nin çok olgun olması koşuluyla neden tür çıkarım yapmadığını her zaman merak etmişimdir. Google'ın Git mükemmel tür çıkarımı olan bir dilin bir örneğidir ve bir kişinin yazması gereken miktarı azaltır. Bu özelliğin arkasında Java'nın bir parçası olmamak için özel bir sebep var mı?

44 java  programming-languages  type-systems  data-types 

Varoluşsal türlere bağlılığı ortadan kaldırarak sürekli olarak yeniden kodlama kodu kullanmak için kullanabileceğim bazı teknikler nelerdir? Tipik olarak bunlar, türünüzün istenmeyen yapılarını diskalifiye etmek ve verilen tür hakkında en az bir bilgi ile tüketime izin vermek için kullanılır (veya benim anlayışım budur). Herhangi biri, faydalardan bazılarını koruyan kodlara güvenmeyi kaldırmanın …

43 functional-programming  haskell  type-systems 

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 

Kodları kod yazdığımdan daha sık okudum ve endüstriyel yazılım üzerinde çalışan programcıların çoğunun bunu yaptığını farz ediyorum. Varsayımım türünün avantajı, daha az ayrıntı ve daha az yazılı koddur. Ancak diğer yandan, kodu daha sık okursanız, muhtemelen okunabilir kod isteyeceksiniz. Derleyici türünü etkiliyor; Bunun için eski algoritmalar var. Fakat asıl soru, …

37 programming-languages  type-systems