스칼라에서 유형 수준 계산 , 특히 싱글 톤 유형 와 같은 구조를 사용할 때 작업하기가 어려울 수 있습니다. 아마도 독특한 거주자가있는 유형에서 값을 추출하려고 시도하는 것은 도전을 제시합니다. Scala 3의 인라인 방법과 Shapeless '증인 를 사용하여 이러한 계산을 최적화 할 수 있습니다. 이 방법은 메타 프로 그램, 컴파일 타임 최적화 및 개선 된 유형 안전에 필요한 스칼라 개발자에게 유용한 도구입니다.