저는 스칼라에서 shapeless를 사용하고 있습니다. 두 개의 HLists를 사용하고 모든 요소 쌍의 HList를 반환하는 allPairs 함수를 작성하고 싶습니다. 예 : import shapeless._
val list1 = 1 :: "one" :: HNil
val list2 = 2 :: "two" :: HNil
// Has value (1, 2
HaskellDB에 관한 최근 글이 있으면 HList를 다시 살펴볼 동기가 있습니다. GHC에 -XDataKinds이 있는데 실제로 이질적인 목록의 예가 있으므로 HL 키가 DataKind로 어떻게 보이는지 조사하고 싶습니다. 이것은 예상하지만,이 프로젝트의 내 목표 시도하고 가능한 한 많은 종류의 클래스없이 그것을 할 수 있었다으로 작동 {-# LANGU
저는 유형을 사용하여 엔티티 단위를 확인하는 경제적 모델을위한 작은 라이브러리에서 작업하고 있습니다. val apples = 2.0 대신 val apples = GoodsAmount[KG, Apples](2.0)이라고 적어주세요. 상품 묶음을 만들기 위해 무형의 라이브러리에서 HLists를 사용하려고했습니다. 이 잘 작동하지만 어떤 경우에는 내가 선호하는
HList/KList를 발견했습니다. 매우 멋집니다. 나는 유형 정보가 보존 된 이종 유형 및 가변 길이 컨테이너가 매우 유용 할 수있는 실제 사용 사례가 있습니다 (자세한 내용은 아래 배경 참조). 그러나, 나는 H/KList의 사용법을 메소드 매개 변수로 이해하지 못했습니다. 여기서는 매개 변수 또는 느슨한 유형 정보에 완전히 주석을 달아야합니다. 전체
에 "showable"모든 요소를 표시합니다. ()을 선택하지만 형식 서명을 사용하면 다른 형식을 선택할 수 있습니다. 표시하려면 가능한 모든 유형을 차례로 시도하는 몇 가지 기능이 필요합니다. 아마 당신은 이런 데이터를 저장하고 싶지는 않지만, 어떤 작업 (예 : show)과 함께 번들로 저장하고 싶을 것입니다. 두 가지 방법으로 묶을 수 있습니다.
Scala의 튜플에 대해 어제 게시 한 질문에 대한 유용한 답변으로 Scala HLists를 살펴 보았습니다. 그 질문에서 C++ 예제를 다시 해쉬하고 싶습니다. C++에서는 템플릿 전문화를 사용하여 컴파일 시간 재귀를 구현할 수 있습니다. 나는 종종 스칼라/하스켈 HLIST와 같이 일반적인 유형의 '죄수'유형을 여러 번 구성하여 각 관련 유형에 대해 한
한 번의 클릭으로 Tk :: HList의 항목을 선택하면이 항목 주위에 점선이 그려집니다. 나는이 선을 갖고 싶지 않다. 어떻게 구성 할 수 있습니까? 문서화 된 방법은 없습니다. 다음은 미리 선택된 항목이있는 Tk :: HList를 보여주는 몇 가지 예제 코드입니다. 항목을 클릭하면 점선이 나타납니다. #!perl
use strict;
use war
HList 구현을 위해 노력 중이며 map 함수를 구현하려고했습니다. 나는 여러 가지 접근법을 시도했지만 각각 하나씩 나는 그 함수와 관련된 컴파일러 에러에 도달한다. 다음은 일반 함수 Just을 사용하여 입력 데이터 구조의 모든 요소에 적용하려는 예입니다. No instance for (Apply (a0 -> Maybe a0) Int (Maybe Int)
HList 기반 유형화 된 이기종 목록을 실험하고 있습니다. 내가 정의한 다음 import Data.HList
data ATag
data BTag
type TagList = ATag :*: BTag :*: HNil
bIndex :: Int
bIndex = hNat2Integral (hFind (undefined :: BTag) (undefin
일부 데이터가 변경되어 저장해야한다는 사실을 사용자에게 알리려고합니다. 데이터는 Perl의 Tk :: HList 상자에 표시됩니다. if ($new_item) {
$HList->add($stock_no,-background=>"red");
}
또는 : 나는 내가 할 수있는 기대했다 if ($new_item) {
$HList->item