higher-rank-types

29ısı

1cevap

İdris

sıralamasını-n kantifikasyonunu Doing Ben sadece oldukça hantal bir şekilde İdris 0.9.12 sıralamasını-n türlerini yapabilirsiniz: İdris ayrıştırmak atar çünkü tupleId : ((a : Type) -> a -> a) -> (a, b

dependent-type higher-rank-types idris 2014-04-05

---

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.

haskell polymorphism typeclass existential-type higher-rank-types 2015-10-10

---

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ü

haskell polymorphism existential-type higher-rank-types 2012-05-24

---

15ısı

2cevap

Yükseköğretim sıralanır ve impredicative tipleri

aşağıdaki stripPrefixBy işlevi uygulamak istiyoruz. stripPrefixBy'u sahip olmasını istediğim türden nasıl uygularım?

haskell higher-rank-types 2012-01-05

---

11ısı

2cevap

map runSTArray STArrays'in bir listesi üzerinde mi?

Öğeleri, oluşturuldukları sırada sık sık güncelleştirildiklerinden, dönüştürülebilir olması gereken bir ağaçtan, matlaştırılmış bir matris listesi oluşturuyor. , doAll :: .. -> [ST s (STArray s (Int,

arrays haskell state higher-rank-types 2011-11-28

---