template-haskell

6열

2답변

싱글 톤 데이터 타입을 포함하는이 템플릿 하스켈 코드를 작성하는 좋은 (r) 방법이 있습니까?

저는 Template Haskell을 사용하기 시작했습니다. (저는 마침내 유스 케이스를 얻었습니다!) 이제 나는인지 적으로 붙어 있습니다. 내가 할 노력하고있어 는 이름 V부터 형태 data $V = $V deriving (Eq,Ord) 의 싱글 데이터 타입 선언 생성하는 (희망 대문자로 시작하는!). 명시 적으로 말해서, 난 형 String -> D

7열

2답변

런타임에 생성 된 TemplateHaskell 코드를 생성하고 실행할 수 있습니까?

런타임에 TemplateHaskell 생성 코드를 생성하고 실행할 수 있습니까? 나는, 실행시에, C를 사용하여 다음을 수행 할 수 있습니다 함수의 소스 코드를 작성, GCC에 콜 아웃이 .so를 (리눅스) (또는 사용 LLVM 등으로 컴파일 .), .so를로드하고 함수를 호출하십시오. Template Haskell과 비슷한 점이 있습니까?

7열

1답변

Template Haskell이 컴파일하는 동안 임의의 IO 작업을 허용하는 이유는 무엇입니까?

내가 TH에 대해 배우려고 할 때 컴파일 중 임의의 IO 동작을 허용한다는 것을 알았습니다 (What's so bad about Template Haskell? 참조). 이것은 나에게 아주 위험한 것처럼 보인다. 왜 그런가요? 일부 작업에 정말로 필요한가요? 또는 "IO sin-bin"에 불순한 모든 것을 던지라는 디자인의 단순화입니까? 업데이트 : 임의의

7열

2답변

Template Haskell을 사용하여 생성 된 코드로 TH 패키지가 아닌 패키지를 만드는 방법은 무엇입니까?

나는 newtype Tuple2 a = Tuple2 { untuple2 :: (a, a) } deriving (...) tuple2 :: a -> a -> Tuple2 a tuple2 = ... instance Traversable Tuple2 where ... instance Foldable Tuple2 where ... instan

7열

1답변

Template Haskell을 사용하여 함수의 본문을 가져 오는 방법은 무엇입니까?

현재 모든 구문 분석, typechecking 등 문제를 다루지 않고 하스켈 하위 집합에서 번역을하려고합니다. 문서는 함수의 본문 (모든 정의)을 이름으로 가져 오는 함수를 찾는 데 도움이되지 않았습니다. 이 호출에 대한 상황이 fac 0 = 1 fac x = z * fac (x - 1) getBody = ... main = do x <-

17열

1답변

템플릿 하스켈 : GHCi로 구체화

GHCi에서 reify을 어떻게 든 할 수 있습니까? 'runQ'를 사용해 보았을 때 "IO 모나드에서 reify를 할 수 없다"고 불평합니다. >>> runQ (reify ''Bool) Template Haskell error: Can't do `reify' in the IO monad *** Exception: user error (Template

1열

1답변

여러 함수에 모나드 변수 바인딩하기

가능한 한 다음 구문에 가깝게하고 싶습니다. TH는 나에게 잘해. bootapplication :: IO() bootapplication = do clientA <- newChan :: IO (Chan AMsg) clientB <- newChan :: IO (Chan BMsg) ... magicHappens doS

8열

1답변

사용 가능한 제한 조건을 기반으로 메소드 구현 확인

다음 메모 기능이 있다고 가정합니다. (그들은하시기 바랍니다 순수 있다는 사실을 무시한다.) memoEq :: Eq a => (a -> b) -> a -> b memoOrd :: Ord a => (a -> b) -> a -> b memoHash :: Hashable a => (a -> b) -> a -> b 지금 내가 나를 위의 세 가지 메모 기

2열

1답변

템플릿 문제 Haskell 무대 제한

그냥 하스켈 템플릿을 배우기 시작하고 스플 라이스와 관련된 간단한 문제에 매달 렸습니다. 내가 가지고있는 메인 모듈에서 tupleN :: Lift a => a -> Int -> Q Exp tupleN a n = do (TupE as) <- lift a return $ as !! n : 모듈 하나에서 나는 튜플의 N 번째 요소를 응답

5열

1답변

종류`* 도대체 여기 무슨 일

'`#에 대한'일치 할 수 없습니다 이 중 Exp (Show 인스턴스가 있음)을 얻으려고했다. 나는 응용 프로그램에서 haskell 유형에 대한 정보를 삽입하여 문자열이 아닌 실제 데이터로 사용할 수 있도록이 작업을 수행하고 있습니다. 내 목표는 다음과 같다 :이 info :: Info info = $(reify ''Show >>= dataToExpQ (