변경할 수있는 AST를 업데이트하는 가장 쉬운 방법은 무엇입니까?

Question

매크로를 사용하면서 특정 조건을 유지하는 AST의 노드를 업데이트해야하는 요점 (필자는이를 피하려고 노력했습니다)에 도달했습니다. 값으로

Literal(Constant(1)) 

: 예를 들어, 나는 각 노드를 업데이 트하려는 가정 해 봅시다

Literal(Constant(2)) 

그 AST 노드가 식 트리 어디에서나있을 수있는, 그래서 임시을 사용할 수 없습니다 패턴 매칭 기. 분명히, 내가하고 싶은 마지막 일은 모든 컴파일러 프리미티브를 커버 할 수있는 전체 패턴 매처를 코딩하는 것입니다. 나는 API에서 검색하고 있지만, 과 같은 메소드는을 수집하고 은 패밀리는 트리를 선형 일로 처리하므로 내 요구 사항을 충족시키기에 충분하지 않으며 전체 업데이트를 원한다는 인상을 가지고 있습니다. 결과적으로 나무. 그래서, 똑똑한 방법으로 불변 식 트리를 업데이트 할 수 있습니까? 표준 API에서 '업데이트'작업이 존재하지 않는 이유는 무엇입니까?

Answer 1

여러있다 : 플러그 용

https://github.com/retronym/macrocosm/blob/171be7e/src/main/scala/com/github/retronym/macrocosm/Macrocosm.scala#L129

Answer 2

데이터 구조에서 폴리 유형 노드를 일반적으로 수정하는 것은 데이터 유형 제네릭 (유형 생성자를 통한 코드의 매개 변수화)의 전형적인 경우입니다.

데이터 유형 일반 탐색 기능을 정의하는 "Scrap Your Boilerplate" 접근 방식과 같은 몇 가지 접근 방법이 있습니다.

하스켈에서

, 노드 업데이트 기능은 2 차원 매개 변수화 : 데이터 타입에 의해 코드 - 어디서든 구조에서, 서로 다른 종류의 서로 다른 업데이트 기능을 적용 할 수 있도록 :

-- | Apply a transformation everywhere in bottom-up manner 
everywhere :: (forall a. Data a => a -> a) 
      -> (forall a. Data a => a -> a) 

그래서에서 수행 Haskell은 타입 클래스에 크게 의존합니다. 스칼라 여기서 스칼라 매크로에서 AST 변압기를 사용하는 예이다 ported examples