template-haskell

5열

2답변

각기 특정 작업을 수행하지만 동일한 서명을 가진 많은 함수 (예 : 100+)를 정의했습니다. 내가 뭘하고 싶어하는 것은 있도록, 사용자의 입력과 실제 '실행'을 제공하는 것입니다 module R001 (run) where run = <do-...> module R002 (run) where run = <do-...> : 뭔가처럼 즉, 나는 모든 모듈

11열

1답변

템플릿의 데이터 생성자 haskell

링을 Z/n으로 만들려고합니다 (일반 산술과 같지만 일부 정수를 모듈로 만듭니다). 예를 들어 Z4 : instance Additive.C Z4 where zero = Z4 0 (Z4 x) + (Z4 y) = Z4 $ (x + y) `mod` 4 등이 있습니다. 나는이 것들을 빠르게 생성 할 수 있기를 원하며, 템플릿 haskell을

4열

2답변

Template Haskell 선언 인용문에서 여분의 들여 쓰기를 피하는 방법은 무엇입니까?

$ cat a.hs main = putStrLn "Toy example" $ runghc a.hs Toy example 템플릿 하스켈을 추가하겠습니다. $ cat b.hs {-# LANGUAGE TemplateHaskell #-} id [d| main = putStrLn "Toy example" |] $ runghc b.hs b.hs:

12열

1답변

$ (...) 및 [| 템플릿 Haskell 함수를 사용할 때 ... |] 구문을 사용합니까?

템플릿 하스켈을 배우려고합니다. 연습으로, 나는 isLeft과 isRight (영감을 받아 this question)과 같은 것을 생성 할 수있는 함수를 작성했습니다. isA connam = do ConE nam <- connam nn <- newName "p" lamE [varP nn] $ caseE (varE nn) [

3열

1답변

Template Haskell에서 인용 된 데이터 생성자 이름을 검사하는 방법은 무엇입니까?

템플릿 하스켈을 배우려고합니다. 연습으로, 나는 isLeft과 isRight (영감을 받아 this question)과 같은 것을 생성 할 수있는 함수를 작성했습니다. 겸손한 시도는 다음과 같습니다. isA connam = do ConE nam <- connam nn <- newName "p" lamE [varP nn] $ cas

2열

2답변

하스켈 - 새로운 4 인수 유사 인용 자 사용법

유사 인용 부호 구문이 이제 4 인수 [link]를 허용하는 것으로 변경된 것 같습니다. 아무도 아직 사용하지 않았습니까? 감사. 나는 단지 정말 무언가를 만들고 싶습니다. 웹상의 예는 지금은 작동하지 않을 것입니다. 미리 감사드립니다.

8열

1답변

템플릿 하스켈은

난 그냥 문자열과 해시 간단한 HashString 클래스를 쓰고 있어요와 컴파일 타임에 함수를 평가 : 내가 좋아하는 뭔가 컴파일시에 다음을 생성하기 위해 노력하고있어 이제 data HashString = HashString Int --^hash T.Text --^string! : $(hString "hello, world") ::

7열

1답변

지역 변수

내가 나 자신을 이해하기위한 시도 pozorvlak's baby steps post on Template Haskell을 통해 읽고 있어요을 선언 나는이 부분을 가로 질러 온 : 우리가 프로그래밍 형태 data Fred = Fred의 선언을 생산하기 위해 노력하고 있었다 기억합니다. quasiquoting으로 시도해 보겠습니다. 때문에 TH 코드를 호출에

19열

3답변

Lisp을 모르는 사람을위한 템플릿 하스켈 튜토리얼이 있습니까?

템플릿 하스켈을 배우고 싶었지만 모든 자습서는 lisp을 배웠고 lisp 매크로가 무엇인지, 또는 cs 이론 전문 용어를 알고 있다고 가정합니다. 스플 라이스, 쿼시 퀴엇 등 ... 또는 일부 이론 결과 매크로에 대해. 나는 한 줄의 lisp 코드를 작성할 수 없다. (언젠가이 일을 할 생각이지만, 지금 당장 배울 시간이 없다.) 하스켈은 저의 첫 번째 함

1열

2답변

템플릿 하스켈 : zipn

haskell.org에서 lost 되었기 때문에 archivehouse에서 Template Haskell tutorial을 읽고 무작위 부분을 제거한 것처럼 손상된 것으로 나타났습니다. 저는 zipn 구현에 대해 읽으 려했습니다. 그들이 가지고있는 유일한 코드는 다음과 같습니다. \ y1 y2 y3 > case (y1,y2,y3) of