«type-systems» etiketlenmiş sorular

İnternette programlamada dil seçimi hakkında birkaç yazı okudum. Son zamanlarda birçok dinamik yazı dili popülerdi, örneğin Ruby, Python, PHP ve Erlang. Ancak birçok işletme halen C, C ++, C # ve Java gibi statik yazılmış dillerle kalmaktadır. Ve evet, statik yazılı dillerin yararlarından biri, programlama hatalarının derleme zamanında, çalışma zamanında …

35 programming-languages  dynamic-typing  static-typing  type-systems 

Bu iki küçük programım var: C #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } hata mesajını bildiren: type_system.java:4: error: incompatible …

33 java  c  type-systems 

Haskell'i fonksiyonel programlamayı anlamak amacıyla, diğer dillerde edindiğim içgörüyü uygulayacağım beklentisi ile inceliyorum (Groovy, Python, JavaScript ağırlıklı olarak). Haskell'i seçtim çünkü çok işlevsel olduğu ve devlete güvenmesine izin vermeyeceği izlenimini edindim. Haskell'i öğrenmeyi seçmedim çünkü son derece katı tip bir sistemde gezinmekle ilgileniyordum. Sorum şu: Güçlü bir tip sistem, son …

33 functional-programming  haskell  language-features  type-systems 

İlgili bir soru okudum Python gibi dinamik dillerde gereksiz tasarım desenleri var mı? Wikiquote.org'daki bu alıntıyı hatırladı ve hatırladı Dinamik yazma ile ilgili harika bir şey, hesaplanabilir olan her şeyi ifade etmenize izin vermesidir. Ve yazım sistemleri yazmaz - sistemler genellikle kararlaştırılabilir ve sizi bir alt kümeye kısıtlarlar. Statik tip …

30 design-patterns  python  type-systems  dynamic-typing 

Java 8'deki yeni lambda gösteriminin tanıtılması (örneğin bu makaleye bakınız ) bir tür çıkarım gerektiriyor mu? Öyleyse, yeni tür sistemi Java dilini bir bütün olarak nasıl etkiler?

30 java  type-systems  lambda  java8 

Bunun çok geniş, belirsiz ve muhtemelen felsefi bir soru olduğunu biliyorum. Bir dereceye kadar, "güçlü" tip sistem - sorudaki en önemli anahtar kelimenin kendisinin kötü tanımlanmış olduğu bir ölçüde . Öyleyse ne demek istediğimi açıklamaya çalışayım. Sorunun genel içeriği Ruby on Rails'de çok büyük ölçekli bir web uygulaması oluşturduk ve …

29 java  haskell  scala  type-systems  rust 

Görünüşe göre, tüm yeni programlama dilleri veya en azından popüler olanları, tür çıkarımı kullanıyorlar. Javascript bile çeşitli uygulamalar olsa bile çeşit ve tip çıkarımı elde etti (Acscript, typescript vb.). Bana çok yakışıyor ama bence herhangi bir takas var mı, neden Java diyelim ya da eski iyi dillerin tür çıkarımı yok …

29 programming-languages  type-systems 

Java jeneriklerinin bazı önemli yollarla başarısız olduğu yaygın olarak kabul edilmektedir. Joker karakterlerin ve sınırların birleşimi bazı ciddi olarak okunamayan kodlara yol açtı. Ancak, diğer dillere baktığımda, programcıların mutlu olduğu genel bir tip sistem bulamıyorum. Aşağıdakileri böyle bir sistemin tasarım hedefleri olarak kabul edersek: Her zaman kolay okunur tip bildirimleri …

29 type-systems  generics 

Eric Lippert'in makalesinde Macar Notasyonu ile Neler Var? Macar Notasyonu’nın (iyi tür) amacının Depolama temsil bilgisine ek olarak anlamsal bilgileri içerecek şekilde "tip" kavramını da genişletir. Basit bir örnek, "x" ile bir X koordinatını temsil eden bir değişkeni ve "y" ile bir Y koordinatını temsil eden bir değişkeni (bu değişkenlerin …

28 naming  type-systems  static-typing  hungarian 

Tasarımı ve nesne yönelimli bir programlama dili implenting, bazı nokta birinde temel türleri uygulama hakkında bir seçim (gibi yapmalıdır int, float, doublesınıflar ya da başka bir şey olarak veya eşdeğerleri). Açıkçası, C ailede diller eğilimi olmayan (Java özel ilkel türleri, değişmez yapılar olarak onları C # uygular, vb vardır) sınıfları …

27 object-oriented  language-design  compiler  type-systems 

Nominal ve yapısal tip sistemler arasındaki fark konusunda biraz kafam karıştı. Birisi lütfen nasıl farklı olduklarını açıklayabilir mi? Anladığım kadarıyla: Nominal: Tip uyumluluğu, tip ismine dayanır. Yapısal: Tip uyumluluğu, tip yapısına dayanır, örneğin 2 değişken farklı isimlere sahip yapısal tipler ise, aynı tip C ise tiplerine uygundur. Şimdi açık ve …

24 type-systems 

Not: Başlıkta "karmaşık" kelimesini kullandığımda, ifadenin çok sayıda işleci ve işleci olduğu anlamına gelir. İfadenin kendisinin karmaşık olması değil. Son zamanlarda x86-64 montaj için basit bir derleyici üzerinde çalışıyorum. Derleyicinin ana ön ucunu (lexer ve parser) bitirdim ve şimdi programımın Soyut Sözdizimi Ağacı temsilini oluşturabiliyorum. Dilim statik olarak yazılacağı için, …

23 language-agnostic  compiler  type-systems  type 

Hindley-Milner'in alt sınıflara sahip tip sistemlerle çalışmadığını ve bununla iyi çalışmayan diğer tip sistem özelliklerinin olduğunu okudum . Go şu anda :=operatörde yalnızca çok sınırlı bir tür çıkarımı var . Ancak Go, geleneksel anlamda alt sınıflara sahip değildir, sadece Hindley-Milner çıkarımı ile iyi çalışan Haskell'in tipi sınıflarına çok benzeyen arayüzler …

22 haskell  type-systems  go 

Bunun için bazı teorik nedenler (tip kontrolü veya tip çıkarımının kararsız hale geleceği gibi) veya pratik sebepler (düzgün şekilde uygulanması çok zor) var mı? Şu anda, içine duruma hakim olabilir newtypegibi newtype Pair a = Pair (a, a) ve sonra Pair :: * -> * ama biz böyle bir şey …

22 haskell  abstraction  type-systems  lambda 

Y birleştiricisini Haskell bağlamında açıklarken, genellikle ileriye dönük uygulamanın özyinelemeli türü nedeniyle Haskell'de yazım denetimi yapmayacağı genellikle not edilir. Örneğin, Rosettacode'dan : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining a data type …

21 haskell  type-systems  static-typing  ocaml