path-dependent-type

6ısı

2cevap

Yola bağımlı türden karışım değerlerine erişme

Dış özellikteki değerlere bir iç özellik karışımından erişmek mümkün mü? yani: trait Outer { val foo trait Inner } trait InnerMixin { this: Outer#Inner => def bar { // how can I

6ısı

1cevap

Bu.type ile ilgili şaşırtıcı eşdeğerlikler ve eşdeğerlilikler

this.type numaralı telefona, bir İçeriğin içinden mi yoksa nesnenin oluşturulduğu kapsamdan mı kaynaklandığından, şaşırtıcı sonuçlarla fark yaratırsınız. Yani, iki ayrı nesneler vardır false // As exp

6ısı

3cevap

Birden çok dosyaya bölme scalac eklentisi

scalac eklentisini birden çok dosyaya bölmek istiyorum. Bu kolay geliyor ama import global._ satırından kaynaklanan patika bağımlı tip sorunları nedeniyle onu çıkarmayı başaramadım. İşte Lex Kaşık en

9ısı

1cevap

ilişki

Uyarı: ben #scala gelen Çapraz nakil olduğum Scala kitap Programlama yolu bağımlı türleri söz konusu yolun tam örneğine bağlı olarak farklı olduğunu belirtmektedir . Eğer öyleyse, aşağıdaki tüm yüklem

5ısı

1cevap

Scala: Yola bağlı türlerin eşdeğeri

Bildiğim iki yol bağımlı türünün eşdeğerliğini nasıl elde edebilirim ama derleyici değil mi? Scala'yı Kullanma 2.10.0 M7 Bir AST'yi bir evrenden diğerine dönüştürmeye çalışıyorum. val bridge = treehug

5ısı

1cevap

scalaz.Equide bağımlı türler için

Yol bağımlı türlerini deniyorum ve bunun için bir scalaz.Equal örneği yazmaya çalışırken bir sorunla karşılaşıyorum. Aşağıdaki yapıya sahiptir: İlk b1 "unequalable" yapmak istedim class A { class

13ısı

1cevap

Scala neden açık öz referanstan bile olsa yola bağımlı türün yolunu öğrenemiyor?

Yansıtılan bir türle bir bağımsız değişken kabul eden bir işleve bir nesne iletmek ve nesnenin türünün onu çevreleyen nesneden geldiğini anlamak için Scala'yı almak istiyorum. İşte zorluk göstermek iç

12ısı

1cevap

Bağımlı yöntem türleri çatışma

Scala'nın bağımlı yöntem türleri ile oynarken, ben varsayılan yöntem parametreleri ile çakışma karşılaştı Yöntem tanımından ve uygulamasından varsayılan değer ile, örnek başarıyla derlenir. Neyi yanlı

5ısı

1cevap

Yol bağımlı türlerle çalışan korkunç tipte dökümler nasıl önlenir?

Scala'da yeniyim ve aşağıdaki kodda yola bağımlı türlerle ilgili neden bir (benim için anlamadığım) tür dökümünü yapmam gerektiğini bilmiyorum. , // Module A public API class ModA { trait A }