existential-type

5ısı

3cevap

Neden scala bu tür birleştirme birleştirmiyor lambda altta yatan tipte?

trait A { type T def test(t: T): Unit } case class B[S <: A](a: S, t : S#T) { def test() = a.test(t) // Error: type mismatch; // found : B.this.t.type (with underlying type S#T)

9ısı

1cevap

Varolansal bir değişkene atıfta bulunma

Kodumdaki bazı yerel işlevlere tip imzaları eklemek istiyorum. Ancak, türleri anonim, varoluşsal olarak bağlı tip değişkenleri içerir. Anonim olduklarından, nasıl tip imza yazılacağını bilmiyorum. Bu

6ısı

1cevap

Varoluşsal tipli lensleri kullanamamakta nasıl çalışıyoruz?

Ben ... [1] varoluşsal nicelik makeLenses bozabilir açıklar de soru ilk defa Edward Kmett en mercek kitaplığı kullanarak ve oldukça güzel buluyor ama ben bir engelle karşılaştım ediyorum. Bir modada b

13ısı

1cevap

Neden [1, "a"] :: [forall a. Göster a => a] `ye izin verilmiyor mu? iki liste aşağıdaki benim (kudreti yanlış) anlayışında

, eşdeğer olmalıdır: [1, "a"] :: [forall a. Show a => a] data V = forall a. Show a => V a [V 1, V "a"] :: [V] Ancak ilki kabul edilmez fakat ikinci bir (ExistentialQuantification ile) çalışıyor.

9ısı

2cevap

Tipik olarak GADT'leri yayınlama

Diyelim ki bir DSL yazıyor ve hem fantom desteği hem de yanlış yazılan ifadeler için destek istiyorum. Hem VNum ve VBool dışarı ing case tarafından Valunk değerleri üzerinde işlem ve hatta benim hayal

5ısı

3cevap

Scala

'da varolan daha yüksek türdeki bir türü nasıl tanımlarım Scala'da varoluşsal olarak daha iyi bir tür kabul eden bir tür tanımlamaya çalışıyordum. Ne yazık ki Scalac buna izin vermiyor. Welcome to Sca

7ısı

1cevap

Heterojen harita

Türleri aynı kategoride olduğu sürece rasgele değerler içerebilen bir haritaya ihtiyacım var. Benim ilk naif yaklaşım böyle bir şeydi: type HMap = forall a . MyClass a => M.Map Int a ama işe görünmü

11ısı

3cevap

Varolan türleri C#?

Şu anda C# içinde varoluşsal türleri kullanarak çözülebileceğini düşündüğüm bir sorunla karşı karşıyayım. Ancak, C# 'da yaratılıp yaratılamayacaklarını ya da simüle edildiklerini (başka bir yapı kulla

9ısı

2cevap

Haskell'de unutkan tip eşanlamlı olması mümkün mü? Bunun gibi ben sadece bazen umurumda bir fantom parametresi olan bir tür varsa

: data Foo p a b = Bar a b bir tür eş anlamlısı yazmak için herhangi kesmek yolu var Baz a b bazı p için Foo p a b edilir Baz şekilde mi ben unuttun mu? type Baz a b = Foo p a b ve (uygun uzantılı