template-haskell

4열

2답변

템플릿 haskell 따옴표 밖에서 컴파일 타임에 haskell 코드를 다시 작성하는 함수를 만들 수 있습니까? 예를 들어 : differentiate :: Floating a => (a -> a) -> a -> (a,a) differentiate = -- what goes here? f :: Num a => a -> a f = sin g ::

2열

2답변

로마인, 루비와 하스켈

동기 부여가 Romans, rubies and the D인데, 나는 하스켈에서도 같은 결과가 나오는지 알고 싶었다. module Romans where import Language.Haskell.TH import Language.Haskell.TH.Syntax import Data.Text num :: String -> String num s

2열

1답변

내보내기 템플릿 haskell 생성 된 정의

내 모듈에는 일부가 내 보낸 정의가 포함되어 있습니다 (module 절). Template Haskell에서 생성 한 선언도 내보내려고합니다. 그러나 TH로 module 절을 수정할 수있는 방법이 없기 때문에이 작업을 수행 할 수 없습니다. TH 생성 된 선언을 전혀 내 보내야한다고 지정할 수 있습니까? 아니면 다른 방법이 있을까요?

12열

3답변

스칼라로 코드 생성

스칼라에서 SBT 툴 체인을 사용할 때 컴파일 타임에 스칼라 코드를 생성하는 프로젝트 소스의 특별한 부분을 읽는 작업을 작성할 수 있습니까? 모든 아이디어 또는 이에 대한 기사/자습서? Template Haskell과 비슷한 것을 찾고 있습니다.

7열

2답변

TemplateHaskell이 GHC로 하여금 패키지를로드하게하는 이유는 무엇입니까?

나는 현재 모듈의 이름을 인쇄하는 사소한 템플릿 하스켈 프로그램 (여기 홈페이지 등)이 있습니다 {-# LANGUAGE TemplateHaskell #-} module Main (main ) where import Language.Haskell.TH import Language.Haskell.TH.Syntax modName ∷ String

9열

2답변

GHC 단계 제한을 우회하는 방법?

나는 클래스 인스턴스에 저장된 데이터 유형 필드 설명에 따라 출력이 달라지는 코드 생성기를 작성하고 있습니다. 그러나, 나는 TH 생성 된 인수를 사용하여 함수를 실행하는 방법을 찾을 수 없습니다. {-# LANGUAGE TemplateHaskell, ScopedTypeVariables #-} module Generator where import Lan

4열

1답변

Haskell에서 컴파일하는 동안 다른 위치에 코드를 포함시키는 방법은 무엇입니까?

준 인용문은 컴파일하는 동안 AST 코드를 생성 할 수 있지만 준 인용문이 작성된 위치에 생성 된 코드를 삽입합니다. 컴파일시 생성 된 코드를 어떤 식 으로든 삽입 할 수 있습니까? 예를 들어 QQ가 작성된 모듈 파일과 다른 특정 모듈 파일의 경우? 하드 코딩 된 모듈 구조에 따라 다르지만 괜찮습니다. QQ에서는 불가능하지만 누구나 다른 방법을 알고 있다면

6열

1답변

변수 이름이 TemplateHaskell이라는 리터럴 값을 얻는 방법

TemplateHaskell에 Name이 있고이 변수의 이름이 리터럴로 선언 된 경우이 변수의 값을 확인하려면이 작업을 수행 할 수 있습니까? var = "foo" -- Can `contentsOf` be defined? $((contentsOf . mkName $ "var") >>= guard . (== "foo"))

10열

1답변

등 I는 <code>foo</code>, <code>bar</code> 및 <code>baz</code> 올바르게 구현</p> <pre><code>module Foo where foo :: Moo -> Goo bar :: Car -> Far baz :: Can -> Haz </code></pre> <p>임의의 모듈이

한다고 가정 레코드에 모듈을 구체화 I은 자동으로이 모듈을 구체화하려는 생성 된 데이터 형식 및 해당 개체 : import Foo (Moo, Goo, Car, Far, Can, Haz) import qualified Foo data FooModule = Foo { foo :: Moo -> Goo , bar :: Car -> Far

6열

2답변

Langage.Haskell.TH.report는 어떻게 작동합니까?

불행히도, 많은 Template Haskell 함수는 전혀 문서화가 전혀 없습니다. 그러한 기능 중 하나는 report입니다. Bool 및 String이 걸리고 오류 메시지로 지정된 문자열로 컴파일 오류가 발생합니다. 누구든지 Bool 지옥이 무엇을위한 단서가 있습니까? 내가 말할 수있는 한 최선을 다해 어느 값이든 똑같은 것을합니다 ...