«shapeless» 태그된 질문

with Shapeless내부 에서 매크로 를 호출하려고하는데 원하는 것을 얻지 못합니다.quasiquoteScala 내 매크로는 오류를 반환하지 않습니다하지만 확장하지 않습니다 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) val cc = TermName("cc") q"""implicit val $in = Field.apply[$className,$fieldType](Witness($fieldName), …

272 scala  scala-macros  shapeless  scala-quasiquotes 

형태가없는 경우 Nat 유형은 유형 수준에서 자연수를 인코딩하는 방법을 나타냅니다. 예를 들어 고정 크기 목록에 사용됩니다. 유형 레벨에서 계산을 수행 할 수도 있습니다. 예를 들어 N요소 목록에 요소 목록을 추가하고 K컴파일시 알려진 목록을 가져와 N+K요소 를 갖습니다 . 이 표현이 많은 수 (예 : 10000002 53)를 표현할 수 있습니까 , …

151 scala  numbers  compiler-optimization  shapeless 

나는 차이점이 어디에 있는지, 더 일반적으로 HList를 사용할 수없는 정규 사용 사례를 식별하기 위해 (또는 일반 목록에 비해 어떤 이점도 제공하지 않는) 알아내는 데 정말로 관심이 있습니다. ( TupleN스칼라 에는 22 개 (믿습니다) 가 있지만 하나의 HList 만 필요하지만 이것이 내가 관심있는 개념적 차이는 아니라는 것을 알고 있습니다.) 아래 텍스트에 …

144 scala  types  tuples  hlist  shapeless 

이 경로 의존적 유형은 나는 거의 모든 스칼라에 경구 또는 AGDA와 같은 언어의 특징을 표현하는 것이 가능하다 생각하지만, 스칼라가 지원하지 않는 이유를 궁금 해요 이 는 다른 지역에서 매우 잘하는 것처럼 더 명시 적으로 (예를 들어 , DSL)? "필요하지 않습니다"와 같이 내가 놓친 것이 있습니까?

109 scala  path-dependent-type  dependent-type  shapeless