type-level-computation

3열

1답변

유형 수준 맵에서 추가 정보가있는 유형 수준 목록 꾸미기

유형이 포함 된 이질적 목록이 포함 된 값 유형을 반영합니다. 내가 좋아하는 것 무엇 {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE TypeFamilies #-} {-#

haskell gadt type-families type-level-computation data-kinds 2016-10-10

---

5열

1답변

LHS 및 RHS 유형이 지정된 추가 구현의 출력 유형 가져 오기

녹에서 LHS (Self) 및 RHS 유형을 사용하여 유형 레벨에서 Add 구현을 소환 할 수있는 방법이 있습니까? Output 유형 (예 : 일반 함수의 반환 유형)?

rust traits generic-programming type-level-computation 2016-10-20

---

4열

2답변

HList 정의에 대한 이해

저는 하스켈에 비교적 새로 왔으며, HList의 정의 중 하나를 이해하려고합니다. 내가보고있어 '[] 및 (x ': xs) 구문은 무엇인가 data instance HList '[] = HNil newtype instance HList (x ': xs) = HCons1 (x, HList xs) pattern HCons x xs = HCons1 (x, x

haskell types ghc type-level-computation data-kinds 2016-12-14

---

3열

1답변

스칼라에서 타입 레벨 프로그래밍

스칼라에서 타입 레벨 프로그래밍에 대해 더 자세히 배우고 싶었고 몇 가지 작은 연습을 시작했습니다. 유형 수준에서 Peano 숫자 구현을 시작했습니다. 아래 코드가 있습니다! sealed trait PeanoNumType { // Type at the end indicates to the reader that we are dealing with types

scala type-level-computation 2017-05-13

---

3열

1답변

유형이 HList의 멤버 인 경우 엉성한 체크 인은 어떻게합니까?

문자열에서 전처리 단계를 수행하고 있습니다. 내 단계의 안전성을 높이기 위해 HList을 사용하려고합니다. 일부 처리 단계는 다른 처리 단계 이후에 실행되어야하므로 유형 시스템에서이를 인코딩 할 생각이었습니다. 내 첫 번째 시도했다 : 그것이 작동하는 가능한 순서입니다 순서 doA>doB>doDependsOnA>doDependsOnB, 모든 것을 전화하라고

scala shapeless type-level-computation 2017-02-10

---

3열

1답변

하스켈에서 유형 정보를 가치 수준으로 가져 오는 방법은 무엇입니까?

하스켈에서 유형 정보를 가치 수준으로 가져 오는 방법을 찾고 있습니다. 모든 유형 정보를 값으로 표시하는 한 가지 방법은 Language.Haskell.TH.Type입니다. Proxy a을 사용하고 다음과 같이 a 유형의 Language.Haskell.TH.Type (또는 어떤 유형을 나타내는 대체 유형)을 반환하는 함수를 구현할 수있는 방법이 있습니까?

haskell template-haskell type-level-computation 2016-11-04

---

19열

2답변

재귀

나는 dfold를 사용하려고 없이 함수 n 번을 호출하기 위해, 유형이 각 반복 함수 호출 후 변경할 수있는 배를 만들기 here dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l + 1))

haskell type-systems type-level-computation clash 2017-02-12

---

3열

1답변

형식 제약 조건을 functor 맵 함수에 추가하는 방법

형식 제한이있는 abstract class Foo[V : Monoid]에 Functor을 정의 할 수 없습니다. 이는 Functor의 map 메소드가 Monoid이 아닌 B 매개 변수를 사용하기 때문입니다. 제 질문은 어떻게 그런 제약 조건을 추가 할 수 있습니까? import cats.Functor import cats.kernel.Monoid ab

scala functor applicative type-level-computation 2017-12-08

---

5열

1답변

다형성 함수는

가정하자 나는 어떤 종류의 [*], 유형의 목록이 있습니다 그래서 지금까지 type family Tupled (ts :: [*]) z :: * type instance Tupled (t ': ts) z = (t, Tupled ts z) type instance Tupled '[] z = z : let Ts = '[Int, Bool, Char] 내

haskell fold type-level-computation 2017-04-14

---

8열

1답변

이 코드가 "계열 형식의 채도 요구 사항"을 위반하지 않는 이유는 무엇입니까?

내가 타입 수준의 목록을 통해 형의 가족을 매핑합니다 (singletons 라이브러리에서 발췌)이 최소한의 작업 예제를 가지고 : ghci> :set -XDataKinds ghci> :kind! Map (TyCon1 Flip) '[Char,Int] Map (TyCon1 Flip) '[Char,Int] :: [*] = '[Int, Char] 코드를

haskell type-level-computation 2016-11-23

---