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
Apa bedanya ketika saya menulis ini? data Book = Book Int Int melawan newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically
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);
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...
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 =...
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...
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