«shapeless» etiketlenmiş sorular

Bir aramaya çalışıyorum Shapelessiçeride a gelen makro quasiquoteile Scalave ben almak istiyorum alamıyorum. Benim makro hataları dönmez ama genişletmek değil Witness(fieldName)içineWitness.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) val cc = TermName("cc") q"""implicit val …

272 scala  scala-macros  shapeless  scala-quasiquotes 

Biçimsiz olarak, Nat türü, doğal sayıları bir tür düzeyinde kodlamanın bir yolunu temsil eder. Bu, örneğin sabit boyutlu listeler için kullanılır. Tür düzeyinde hesaplamalar bile yapabilirsiniz, örneğin, bir Nöğe listesine bir öğe listesi ekleyebilir ve öğeleri Kderleme zamanında bilinen bir listeyi geri alabilirsiniz N+K. Bu gösterim, örneğin 10000002 53 gibi …

151 scala  numbers  compiler-optimization  shapeless 

HListlerin kullanılamadığı (veya daha doğrusu, normal listelere göre herhangi bir fayda sağlamadığı) kanonik kullanım durumlarını belirlemek için farklılıkların nerede olduğunu ve daha genel olarak bulmakla gerçekten ilgileniyorum. ( TupleNScala'da 22 (inanıyorum) olduğunun farkındayım , oysa birinin tek bir HList'e ihtiyacı var, ancak bu ilgilendiğim kavramsal farklılık türü değil.) Aşağıdaki metinde …

144 scala  types  tuples  hlist  shapeless 

Yol bağımlı tipler var ve Scala'da Epigram veya Agda gibi dillerin hemen hemen tüm özelliklerini ifade etmenin mümkün olduğunu düşünüyorum, ancak Scala'nın diğer alanlarda çok hoş olduğu gibi neden bunu daha açık bir şekilde desteklemediğini merak ediyorum (örneğin , DSL'ler)? "Gerekli değil" gibi eksik bir şey var mı?

109 scala  path-dependent-type  dependent-type  shapeless