HList/KList를 발견했습니다. 매우 멋집니다. 나는 유형 정보가 보존 된 이종 유형 및 가변 길이 컨테이너가 매우 유용 할 수있는 실제 사용 사례가 있습니다 (자세한 내용은 아래 배경 참조). 그러나, 나는 H/KList의 사용법을 메소드 매개 변수로 이해하지 못했습니다. 여기서는 매개 변수 또는 느슨한 유형 정보에 완전히 주석을 달아야합니다. 전체
나는 셰이프가없는 라이브러리에서 가능할 수 있다고 생각합니다. 나는 무명 클래스를 클로저로 변환하기 위해 무형 속성을 사용하고 있습니다. 이 경우 FnHListerAux 특성의 hlisted을 사용해야합니다. 내가 원하는 것은 전달 된 더미 함수를 없애고 F과 같은 형식 서명을 가진이 함수를 닫는 것입니다. 비동기식으로 실행되는 익명 클래스가 없으면 쉽게
유형이없는 방식으로 객체를 쉽게 축적하기 위해 엉성한을 사용하려고합니다. 문제는 concat (:::) 두 개의 HList입니다. 나는 초보자를 만났습니다 (적어도 그것은 보인다). 컨텍스트에서 Prepend 암시 적 인스턴스가 누락됩니다. 그러나 hlist.scala을 살펴보면 이라는 일반 객체가 Prepend 및 PrependAux 개체에 정의되어 있음
'map'은 요소의 수를 유지하므로 터플에서 사용하면 합리적입니다. 내 시도까지 : scala> (3,4).map(_*2)
error: value map is not a member of (Int, Int)
(3,4).map(_*2)
^
scala> (3,4).productIterator.map(_*2)
error: value
심지어 .head이 작동하지 않습니다. 이 작업을하려면 어떤 변경을해야합니까? import shapeless._
import HList._
import Nat._
scala> case class Foo[A](a: A)
defined class Foo
scala> case class Bar[A](f: Foo[A])
defined class Ba
this problem을 셰이프로 해결하려고했습니다. 그러나 나는 어떤 이유로도 HList에 매핑 할 수 없습니다. 코드가 그 자체로 발언하도록 할 것입니다. import shapeless._
import HList._
case class Foo(a: Option[Int], b: Option[Int])
val a = Foo(Some(3), None