Scala'nın tip sisteminin avantajları

Question

Scala dilini araştırıyorum. Sık sık duyduğum bir iddia, Scala'nın Java'dan daha güçlü tip sisteme sahip olmasıdır.

• scalacjavac, mutlu derlemek tek bir çalışma zamanı hatası neden belli arabası programları reddeder: Bununla ne insanlar demek olduğunu düşünüyorum.
• Bazı değişmezler, bir Scala programında, derleyicinin programcının koşulu ihlal eden kod yazmasına izin vermeyecek şekilde kodlanabilir.

Ben de öyle düşünüyorum? Öyleyse, lütfen bu örnekleri gösteren makalelere/bloglara/makalelere bakın.

Answer 1

Scala Tipi sisteminin en önemli avantajı çok güçlü olmanın aksine uzak zengin ("The Scala Type System" bölümü) olmak değildir.
(Java bunlardan bazılarını tanımlayabilir ve başkalarını uygulayabilir, ancak Scala bunları yerleşiktir).
Ayrıca bkz. The Myth Makers 1: Scala's "Type Types", Steve Yegge's blog post yorumunda, "Scala'yı" Frankenstein'ın Canavarı "olarak" dağıttı ", çünkü" tür türleri ve tür türü türleri "vardır. Ek yöntemler için için "Zengin" sınıfları örtük dönüşüm ile yerine ilkel tipleri (Int, Çiftler, ...) kullanılan (değer anlambilgisi makul küçük veri yapıları için kullanışlı)

• Değer türü sınıfları.
• Nonnullable type
• Monad types
• Sürekli türleri (ve onunla birlikte gelen mixin composition)
• Singleton nesne türleri (sadece bir 'nesne' tanımlamak ve bir tane var), nesne türleri
• Compound types
(kavşaklar ,), bir nesnenin tipi birçok tip) bir alt tipi olduğu
• Functional types ((type1, …)=>returnType sözdizimi ifade
• Case classes (kendi yapıcı parametreleri ihracat ve hangi desen eşleştirme yoluyla özyinelemeli ayrışma mekanizması sağlamak düzenli sınıflar),
• Path-dependent types anonim tanımlamak için (yerleştirdiğiniz türleri bu tip yollara başvurmak için yöntemler sağlar izin Diller),
• Anonymous types (fonksiyonları),
• Self types
() used for instance in Trait olabilir
• Type aliases
ile birlikte:
• package object (
• ) 2.8 kişiye
  • Kovariant jenerik tipler, bir type parameter annotation mechanism jenerik türleri alt tiplemesi davranışını kontrol etmek ile, (Java gibi): ek açıklama +TT sadece kovaryant pozisyonlarda kullanılmak üzere yazın beyan eder. Stack[T], TS'un bir alt türü ise, Stack[S]'un bir alt türüdür.
  • Kontrovaryant jenerik türleri: -T, yalnızca karşı taraftaki konumlarda kullanılmak üzere T bildirir. bir Java Generics ile mümkün olandan daha gelişmiş tip ilişkileri ifade etmek için izin
• Sınırlı jenerik türleri (olsa bile Java supports some part of it),
• Higher kinded types,
• Abstract types (jenerik tipine alternatif),
• Implicit types ("The awesomeness of Scala is implicit" (bkz Java joker türü gibi in Scala kullanılır)
• Existential types,
• 0 İstenilen türün özelliklerini belirterek bir tür belirtmek için (ördek tipleme)ve
• Structural types.

Answer 2

Java ile ilgili temel güvenlik sorunu varyans ile ilgilidir. Temel olarak, bir programcı, Java'da çalışma zamanında atılan istisnalarla sonuçlanabilecek yanlış varyans bildirimlerini kullanabilirken, Scala buna izin vermez. Aslında, yanlış kodun üretilmesine izin verdiği için, Java'nın Array eşdeğeri olduğu gerçeği zaten bir sorundur. Örneğin, olarak sepp2k örneklenen:

String[] strings = {"foo"}; 
Object[] objects = strings; 
objects[0] = new Object(); 

Sonra, elbette, şeylerin her tür verir Java, ham türü vardır.

Ayrıca, Scala'nın da var olduğu gibi, döküm var. Java API'sı, yazı tipleriyle zengin ve Scala'nın case x: X => // x is now safely cast gibi bir deyimi yok. Tabii, bir vaka bunu başarmak için instanceof kullanın, ancak bunu yapmak için hiçbir teşvik yoktur. Aslında, Scala'nın asInstanceOf kasten ayrıntılıdır.

Scala'nın sistem türünü daha güçlü yapan şeyler bunlar. VonC'un gösterdiği gibi, daha zengin.