Запитання з тегом «shapeless»

Я намагаюся викликати Shapelessмакрос всередині quasiquoteз Scalaі я не отримую те , що я хотів би отримати. Мій макрос не повертає жодних помилок, але не розширюється Witness(fieldName)наWitness.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 

Безформний тип Nat представляє спосіб кодування натуральних чисел на рівні типу. Це використовується, наприклад, для списків фіксованого розміру. Ви навіть можете робити розрахунки на рівні типу, наприклад, додавати список Nелементів до списку Kелементів і повертати список, який, як відомо, під час компіляції матиN+K елементи. Чи здатне це представництво представляти велику …

151 scala  numbers  compiler-optimization  shapeless 

Мені дуже цікаво дізнатись, де є відмінності, і в цілому, визначити канонічні випадки використання, коли HList не може бути використаний (а точніше, не приносить жодних переваг за звичайні списки). (Я знаю, що TupleNу Scala є 22 (я вважаю) , тоді як одному потрібен лише один HList, але це не та …

144 scala  types  tuples  hlist  shapeless 

Існують типи, що залежать від шляху, і я думаю, що можна висловити майже всі функції таких мов, як Epigram або Agda у Scala, але мені цікаво, чому Scala не підтримує це більш явно, як це дуже добре в інших областях (скажімо , DSL)? Щось мені не вистачає на кшталт "не …

109 scala  path-dependent-type  dependent-type  shapeless