type-systems

25ısı

1cevap

Kapsamlı tür değişkenler, açık alan adları gerektirir. Niye ya?

GHC'lerin lexically scoped type variables'unu kullanmak isterseniz, explicit universal quantification'u da kullanmanız gerekir. ölçümü ile ilgisi {-# LANGUAGE ExplicitForAll, ScopedTypeVariables #-}

haskell ghc type-systems quantifiers type-extension 2013-04-04

---

13ısı

2cevap

Statik ve dinamik programlama dilleri arasında farklı

statik ve dinamik programlama dilleri arasındaki fark nedir? Her şey tip sistemlerle ilgili olduğunu biliyorum, ancak daha açık açıklamalar arıyorum.

dynamic static programming-languages type-systems 2013-12-13

---

6ısı

1cevap

Genelleştirilmiş tip varsaymak kuralları

Haskell's type-defaulting rules varsayılan değişken bir tür kısıtlamaları ile (C1-a, ..., Cn) edin: değişken bir başka kısıtlamalar görünür tipi Tüm sınıflar Ci standarttır. pratikte bu her zaman işe

haskell type-systems 2013-07-24

---

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

---

9ısı

2cevap

Python Tip System - Python için yeni Tip

vs Nesne. Java, C/C++ ve OCaml'ı tanıyorum. Üniversitede aldığım Programlama Dilleri dersinden dolayı Lambda Calculus ve temel Tip Teori'yi anlıyorum. Bu arka plan ile Silahlı, bunu okumaya çalıştım -

python class types type-systems 2012-11-23

---

24ısı

1cevap

Scala'nın tip sisteminin hangi özelliği Turing-complete?

Scala, normalde güçlü bir şekilde normalleştirildiği söylenen System F ω temelli bir sistem kullanır. Kesinlikle normalleştirme, Turing olmayan bütünlüğü ifade eder. Yine de, Scala'nın tip sistemi Tur

scala types language-design type-systems turing-complete 2011-12-13

---

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

---

23ısı

1cevap

Mantıksal dillerdeki hangi tür sistemler hedef süspansiyonu engelleyebilir? <a href="http://www-ps.informatik.uni-kiel.de/currywiki/documentation/tutorial" rel="nofollow">curry tutorial</a> bölüm 3.13.3 kaynaktan

: dar işlemler esnek olarak adlandırılır ise, katı olarak adlandırılır residuate Operasyon. Tüm tanımlanmış işlemler esnektir, ancak aritmetik işlemler gibi çoğu ilkel operasyonlar, tahminler onlar iç

type-systems logic-programming curry 2011-01-12

---

6ısı

1cevap

Aslında "Pi" Yapı Taşları'ndan çıkarmak mümkün mü?

Simpler, Easier! no'lu makalede, "Pi" nin varlığı olmadan bile bağımlı sistemlerin kodlanması mümkün olabilir - yani, bunun için "Lam" yapıcısını yeniden kullanabilirsiniz. Ancak "Pi" ve "Lam" bazı du

haskell types type-systems lambda-calculus 2015-12-06

---

10ısı

1cevap

Scala için silme işleminin herhangi bir avantajı var mı?

Farklı türden JVM dilleri hakkında hala bir şeyler duyuyorum. Bunu hatırlatan, yarı hatırlanan (ya da tamamen hayal edilmiş, hangisi olduğunu bilmiyorum), Scala'nın bir şekilde JVM'nin tipinin silinme

scala type-systems type-erasure reification 2011-08-05

---