higher-kinded-types

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

scala functional-programming type-systems existential-type higher-kinded-types 2015-08-24

---

6ısı

1cevap

Koleksiyon türünü ve öğe türünü bağlayan genel Scala geliştirme yöntemlerini nasıl yazabilirsiniz?

Eğer benim gibi olursanız, zaman zaman Scala koleksiyonları veya dizileri için gelişmiş yöntemler yazmak istersiniz, ancak koleksiyon türünün yanı sıra sadece Seq [T] 'ye değil, öğe tipini de bağlamak

scala implicit-conversion scala-collections implicit higher-kinded-types 2015-09-04

---

5ısı

1cevap

Desen

Biz tür * parametreleri için tek, kapsamlı örneklerini yazabilir Tanıtılan Türleri üzerinde Eşleştirme derleyici, herhangi bir Maybe d için eşleşen bir örnek bulduğu için test1. Hatta tip kurucular sı

haskell pattern-matching higher-kinded-types type-kinds 2013-02-13

---

6ısı

2cevap

Scalada Haskell FixF tanımlanması

Bu yüzden comonad.com, uygulayıcılarla çalışma konusunda ilginç bir dizi makaleye sahiptir ve ben (örneğin, eğlenmek ve öğrenmek için) ölçeklendirmek için elimden geleni yapmaya çalışıyorum. Yani, has

scala haskell types higher-kinded-types type-kinds 2014-05-17

---

12ısı

1cevap

OCaml: Yüksek kinded polimorfizmi (modülleri üzerinde abstracting?)

ı seçenekler listesi var diyelim: let opts = [Some 1; None; Some 4] Ben, listenin bir seçenek haline bu dönüştürmek istiyorsanız, öyle ki: Liste None içeriyorsa, sonuç None Aksi takdirde, çeşitli mü

ocaml monads higher-kinded-types 2013-02-26

---

12ısı

3cevap

Kısmen uygulayarak türü parametreleri

umutsuzca aşağıdaki çözmeye çalışıyorum: trait Access[Res[_]] { def access[C]: Res[C] } trait CList[C1, A] extends Access[CList[_, A]] // ?! def test[C1, C2, A](c: CList[C1, A]): CList[C2, A] = c.

scala higher-kinded-types 2011-04-03

---

5ısı

2cevap

PolyKinds ile Type.Equality Kullanma

Bu derleme kodu, this issue ile sözdizimsel-2.0 olan bir yanıttan en az this code örneğidir. Data.Type.Equality'de sameNat'dan türetilen sameModType tanımını da kullanıyorum. Ben sorun olmadan bu çözü

haskell ghc higher-kinded-types 2014-05-20

---

5ısı

1cevap

Daha iyi nazik tipteki üyeler arasındaki fark beyanı

Gölgesiz kütüphane için kaynaklara baktığımda, farklı türden daha fazla üye beyanına dikkat ettim ve kullanımda somut bir fark olup olmadığını merak ettim. Örnek genel özellik here için: trait Generic

scala syntax types shapeless higher-kinded-types 2015-08-11

---

10ısı

2cevap

Bağlam sınırları yüksek kinded-tipleri

ile kısayol o bağlamı kullanmak mümkün mü yüksek kinded-türleriyle sözdizimi kısayol bağlamıştır? trait One { def test[W : ClassManifest]: Unit } // first-order ok trait Two { def test[W[_]: ClassMan

scala higher-kinded-types context-bound 2011-04-04

---

6ısı

1cevap

Scala

Yüksek çeşitliliğe sahip nesnelerle çalışırken tür bilgileri kayboluyor Bazı kodları etkisiz hale getirmeye çalışıyorum ve daha yüksek türdeki türlerle çalışmak zorunda kaldım. Aşağıdaki minimum örnek

scala type-inference higher-kinded-types 2015-09-01

---