하스켈에서 AST 변환하기

Question

소스를 AST로 구문 분석하는 데 많은 Haskell 자습서가 있습니다. AST는 AST 평가를 다시 작성하지만 두 AST 간의 매핑은 작성하지 않습니다. Haskell에 transformFoo2Bar을 구현하는 "정식"방법이 있습니까?

type FooIdentifier = String 
data Foo = Foo FooIdentifier [FooMethod] deriving (Show) 
data FooMethod = FooMethod FooIdentifier [FooExpression] deriving (Show) 
data FooExpression = FooAB FooIdentifier FooIdentifier | FooZ FooIdentifier deriving (Show) 

type BarIdentifier = String 
type BarLabel = String 
data Bar = Bar BarIdentifier [BarExpression] deriving (Show) 
data BarExpression = BarA BarIdentifier BarIdentifier 
        | BarB BarIdentifier BarIdentifier | BarZ BarIdentifier deriving (Show) 

-- 
-- transformFoo2Bar [Foo "foo" [FooMethod "foo1" [FooAB "a" "b", FooZ "z"], FooMethod "foo2" [FooZ "z"]]] 
--   
-- to evaluate to 
-- 
-- [Bar "foo_foo1" [BarA "a" "b", BarB "a" "b", BarZ "z"], Bar "foo_foo2" [BarZ "z"]] 
-- 

transformFoo2Bar :: [Foo] -> [Bar] 
transformFoo2Bar = undefined 

코드 컴파일과 유사하지만 컴파일 된 코드를 내보내는 대신 결과를 AST로 유지합니다.

또한 이러한 매핑 중 일부를 역 매핑으로 다시 사용할 수 있습니까?

감사

Answer 1

이 작업을 수행하는 매우 uncanonical 방법은뿐만 아니라 FooExpression 구조적으로 유사하다는 주위에 너무

data BarExpression = BarB BarIdentifier | BarA BarIdentifier BarIdentifier deriving (Show) 

에 BarExpression의 정의를 변경하는 것뿐만 아니라, 같은 런타임이있다 대표.

그럼 당신은 Unsafe.Coerce.unsafeCoerce 사용할 수 있습니다 : 당신이 할 수

fe1 = FooA "a" 
fe2 = FooB "x" "y" 

fm1= FooMethod "meth1" [fe1,fe2] 

foo1 = Foo "foo" [fm1] 

을

ghci> unsafeCoerce foo1 :: Bar 
Bar "foo" [BarProc "meth1" [BarB "a",BarA "x" "y"]] 

---

<font size+=1000 color="red"><blink>

주의 할의 programmator :

</blink></font>

나는 영원한 영혼을 위험에 빠뜨릴 것이므로이 일을 전혀 권장하지 않으며, 당신이 그것을 보자 마자 뜻밖에도 아주 나쁜 방법으로 깨어날 것입니다 (만약 당신이 스왑하지 않으면 BarExpression이 예가 원인이되기 시작합니다 segfaults :-)하지만 의 경우 this 특정 사용 사례.

또는 이형 유형 중 하나를 제거 할 수 있습니다. 네가 할 수없는 이유가 있니?