Pertanyaan yang diberi tag «shapeless»

Saya mencoba memanggil Shapelessmakro dari dalam quasiquotedengan Scaladan saya tidak mendapatkan apa yang ingin saya dapatkan. Makro saya tidak mengembalikan kesalahan apa pun tetapi tidak berkembang Witness(fieldName)menjadiWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String = field.name val fieldType = TypeName(field.valueType.fullName) val in = TermName("implicitField"+fieldName) val tn = TermName(fieldName) …

272 scala  scala-macros  shapeless  scala-quasiquotes 

Dalam tak berbentuk, tipe Nat mewakili cara untuk menyandikan bilangan asli pada tingkat tipe. Ini digunakan misalnya untuk daftar ukuran tetap. Anda bahkan dapat melakukan perhitungan pada tingkat jenis, misalnya menambahkan daftarN elemen ke daftar Kelemen dan mendapatkan kembali daftar yang diketahui pada waktu kompilasi untuk memiliki N+Kelemen. Apakah representasi …

151 scala  numbers  compiler-optimization  shapeless 

Saya benar-benar tertarik untuk mencari tahu di mana perbedaannya, dan lebih umum, untuk mengidentifikasi kasus penggunaan kanonik di mana HList tidak dapat digunakan (atau lebih tepatnya, tidak menghasilkan manfaat apa pun dari daftar biasa). (Saya sadar bahwa ada 22 (saya percaya) TupleNdi Scala, sedangkan satu hanya membutuhkan HList tunggal, tetapi …

144 scala  types  tuples  hlist  shapeless 

Ada tipe yang bergantung pada jalur dan saya pikir dimungkinkan untuk mengekspresikan hampir semua fitur bahasa seperti Epigram atau Agda di Scala, tetapi saya bertanya-tanya mengapa Scala tidak mendukung ini secara lebih eksplisit seperti yang dilakukannya dengan sangat baik di area lain (katakanlah , DSLs)? Adakah yang saya lewatkan seperti …

109 scala  path-dependent-type  dependent-type  shapeless