«type-systems» etiketlenmiş sorular

11
Varoluşçu tip nedir?
Ben Wikipedia makalesi okumak Varoluşçu türleri . Varoluşçu operatör (∃) yüzünden bunlara varoluşçu tipler denildiğini anladım. Yine de bunun ne anlama geldiğinden emin değilim. Arasındaki fark nedir T = ∃X { X a; int f(X); } ve T = ∀x { X a; int f(X); } ?
4
Neden bağımlı olarak yazılmasın?
Birkaç kaynak gördüm "Haskell yavaş yavaş bağımlı-tipli bir dil haline geliyor" görüş. Bunun anlamı, gittikçe daha fazla dil uzantısıyla, Haskell'in bu genel yönde sürüklendiği, ancak henüz orada olmadığı anlamına geliyor. Temel olarak bilmek istediğim iki şey var. Birincisi, oldukça basit bir şekilde, "bağımlı tipte bir dil olmak" aslında ne anlama …
4
Scala'da "#" operatörü ne anlama geliyor?
Bu kodu bu blogda görüyorum: Scala'da Tür Düzeyinde Programlama : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next = RecurseA // …
4
Bağımlı yöntem türleri için bazı zorlayıcı kullanım durumları nelerdir?
Daha önce deneysel bir özellik olarak kullanılan bağımlı yöntem türleri, artık ana hatta varsayılan olarak etkinleştirildi ve görünüşe göre bu biraz heyecan yaratmış gibi görünüyor , Scala topluluğunda . İlk bakışta, bunun ne için yararlı olabileceği hemen belli değil. Heiko Seeberger, bağımlı yöntem türlerinin basit bir örneğini burada yayınladı ; …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.