types

6ısı

1cevap

'Nat'

ile eşleşemedi Bir dizenin N karakterden daha az olmasını garanti eden bir tür oluşturmaya çalışıyorum. src/Simple/Reporting/Metro2/TextMax.hs:18:50: error: • Couldn't match kind ‘*’ with ‘Nat’

haskell types data-kinds 2016-11-21

---

9ısı

2cevap

React.PropTypes.node akış eşitliği nedir?

Sendika türü olarak bunu kendim yaratmak zorunda mıyım? Eğer varsa, Tepki tarafından rendreded edilebilir React.PropTypes.node (yani bir şey Akış eşdeğer nedir? Başka bir deyişle , burada ??? ne yerin

javascript reactjs types flowtype 2016-11-28

---

5ısı

1cevap

Bir tür tanımında iç içe tür parametreleri

Doğru yuvalanmış özet türünden alt yazı yazabilmek için, hangi tür yuvalar oluşturuyor, ancak tür belirtiminin bir parçası olarak en düşük düzeye gereksinim duyuyorum. Ancak, aşağıdaki hatalar: immuta

types julia-lang 2016-10-20

---

8ısı

1cevap

Tip-indeksli GADTs

forall hakkında kafam karıştı 'tür' GHC 8.0.1'de tür-tür imzaları türüne karşı farklı tür kontrolleri üreten türlere tanıtılan (?) GADT'lerle garip bir durumla karşılaştım davranışlar. aşağıdaki veri

haskell types ghc 2016-12-10

---

8ısı

1cevap

Muhtemel durum geçişleri nasıl yazılır?

Ben Haskell türleri üzerinden eylemlerin doğru sıralamasını zorlar İdris kodu, bu parça çoğaltmak çalışıyorum: do Ring Open Close : (>>=) operatörün aşırı yüklemeye data DoorState = DoorCl

haskell types idris 2016-10-22

---

5ısı

1cevap

flowjs ile getirme kullanımına bir örnek var mı? Akış (51, 26):

benim zaman uyumsuz işlevinde getirme kullanmaya çalışıyorum ancak akışı bu hatayı Hata atıyor Promise. Bu tür birleşim ile uyumsuz: tanımlayıcı Promise tür uygulama | async myfunc() { const resp

javascript types fetch flowtype 2016-10-26

---

5ısı

1cevap

Haskell içinde nasıl TypeApplications kullanıyorsunuz?

GHC 8.0'da -XTypeApplications ile, @ önceki işlev bağımsız değişkenleriyle açık bir şekilde belirtebilirsiniz. Özellikle birkaç @ kullanıldığında tam olarak hangi türler belirtilir? Eğer bir fonksiyon

haskell types ghc language-extension 2016-10-27

---

10ısı

1cevap

Agda'da boyut tipleri nelerdir?

Agda'da boyut tipleri nelerdir? Ben nedeniyle aşağıdaki noktalara MiniAgda hakkında kağıdı okumaya çalıştım, ama devam etmek başarısız oldum: Neden veri tipleri onların boyutu üzerinde geneldir? Bildi

types agda type-systems induction totality 2016-11-02

---

10ısı

1cevap

Dize [] ve [dize] arasındaki fark

Aşağıdaki Metin Örneğini inceleyin. İlk satır bir hatayla sonuçlanır: 'undefined [], [string]' türüne atanamaz. Son iki satır derleme yapar. let givesAnError: [string] = []; let isOK: string[] = [];

typescript types 2016-09-21

---

15ısı

1cevap

Sınıfta yapıcı türü var mı?

class türünü nasıl bildirebilirim, böylece nesnenin genel bir sınıf kurucusudur? Aşağıdaki örnekte , bunu Penguin veya Lion olabilir ya o yüzden AnimalClass için vermesi gereken tip bilmek istiyorum:

class typescript types constructor 2016-09-21

---