Pertanyaan yang diberi tag «type-systems»

Apa kelebihan dan keterbatasan bahasa tipe dinamis dibandingkan dengan bahasa tipe statis? Lihat juga : ada apa dengan cinta bahasa dinamis (utas yang jauh lebih argumentatif ...)

205 programming-languages  dynamic-languages  type-systems 

Apa bedanya ketika saya menulis ini? data Book = Book Int Int melawan newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

Saya membaca artikel Wikipedia jenis Eksistensial . Saya mengetahui bahwa mereka disebut tipe eksistensial karena operator eksistensial (∃). Saya tidak yakin apa gunanya itu. Apa bedanya T = ∃X { X a; int f(X); } dan T = ∀x { X a; int f(X); } ?

171 language-agnostic  types  type-systems  existential-type 

Saya telah melihat beberapa sumber menggemakan pendapat bahwa "Haskell secara bertahap menjadi bahasa yang diketik secara dependen". Implikasinya tampaknya bahwa dengan semakin banyak ekstensi bahasa, Haskell melayang ke arah yang umum, tetapi belum ada di sana. Pada dasarnya ada dua hal yang ingin saya ketahui. Yang pertama adalah, cukup sederhana, …

161 haskell  type-systems  dependent-type 

Saya melihat kode ini di blog ini: Pemrograman Tipe-Level di Scala : // 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 = …

131 scala  type-systems 

Jenis-jenis metode dependen, yang dulunya merupakan fitur eksperimental sebelumnya, kini telah diaktifkan secara default di trunk , dan tampaknya ini tampaknya telah menciptakan kegembiraan di komunitas Scala. Pada pandangan pertama, tidak segera jelas apa manfaatnya. Heiko Seeberger memposting contoh sederhana tipe metode dependen di sini , yang seperti dapat dilihat …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

Saya pernah mendengar bahwa Scala memiliki tipe yang bergantung pada jalur. Ini ada hubungannya dengan kelas batin tapi apa sebenarnya artinya ini dan mengapa saya peduli?

125 scala  type-systems  path-dependent-type