Я пытаюсь вызвать Shapelessмакрос изнутри quasiquoteс, Scalaи я не получаю то, что я хотел бы получить. Мой макрос не возвращает никаких ошибок, но не расширяется Witness(fieldName)вWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String = field.name val fieldType =...
В бесформенном типе Nat представлен способ кодирования натуральных чисел на уровне типа. Это используется, например, для списков фиксированного размера. Вы даже можете выполнять вычисления на уровне типа, например, добавлять список Nэлементов в список Kэлементов и возвращать список, который, как...
Я действительно заинтересован в том, чтобы выяснить, где существуют различия, и, в более общем плане, выявить канонические случаи использования, в которых нельзя использовать списки HL (или, скорее, не давать никаких преимуществ по сравнению с обычными списками). (Я знаю, что TupleNв Scala есть 22...
Существуют типы, зависящие от пути, и я думаю, что в Scala можно выразить почти все функции таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживает это более явно, как это очень хорошо в других областях (скажем, , DSL)? Что-нибудь, что мне не хватает, например, «это не...