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...
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...
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,...
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...