"귀하의 상용구를 스크랩 (Scrap Your Boilerplate)"이란 무엇입니까?

Question

나는 사람들이 에 대해 이야기하는 것을 보았습니다. 귀하의 상반기를 스크랩 및 일반 프로그래밍 하스켈에서. 이 용어들은 무엇을 의미합니까? Your Boiler Plate를 언제 사용하고 싶고, 어떻게 사용합니까?

Answer 1

종종 복잡한 데이터 유형에 대한 변환을 수행 할 때 구조의 작은 부분에만 영향을 주어야합니다. 즉, 특정 축소 가능 표현식, redexes만을 대상으로합니다.

고전적인 예는 정수 표현의 유형을 통해 이중 부정 제거입니다 :

는

data Exp = Plus Exp Exp | Mult Exp Exp | Negate Exp | Pure Int 

doubleNegSimpl :: Exp -> Exp 
doubleNegSimpl (Negate (Negate e)) = e 
... 

에도이 예제를 설명하기에, 나는 ... 부분의 전체를 작성하지 않으려는 것입니다. 이것은 완전히 기계적입니다. Exp 전체를 통해 재귀를 계속하기위한 엔진 이상의 것은 아닙니다.

"엔진"은 스크랩하려는 상용구입니다.

---

이 목표를 달성하기 위해 스크랩 Your Boilerplate는 데이터 유형에 대해 "일반 트래버스"를 구성 할 수있는 메커니즘을 제안합니다. 이 트래버스는 문제의 특정 데이터 유형에 대해 전혀 모른 채 정확하게 작동합니다. 이렇게하기 위해서는 매우 대략적으로 우리는 일반적인 주석이 달린 나무의 개념을 가지고 있습니다.

section :: Generic a => a -> AnnotatedTree 

하고 "유효"주석 나무

retract :: Generic a => AnnotatedTree -> Maybe a 

ADT

일부 브랜드로 다시 투사 할 수 있습니다 :이 모든 ADT를이 주석이 달린 나무의 종류에 투사 할 수있는 방식으로 ADT를보다 큰

특히, section 및 retract이 정의 된 유형을 나타 내기 위해 Generic typeclass를 도입하려고합니다.

모든 데이터 유형의 주석 된 트리 표현을 사용하여 한 번만 트래 버셜을 정의 할 수 있습니다. 특히 최종 사용자가 AnnotatedTree 유형에 노출되지 않도록 (section 및 retract 전략적으로) 인터페이스를 제공합니다. 최종 초기 section 및 retract들과 함께 우리의 주석이 나무는 항상 "유효"이라는 불변

everywhere' :: Generic a => (a -> a) -> (AnnotatedTree -> AnnotatedTree) 

같은 것을, 우리가

everywhere :: Generic a => (a -> a) -> (a -> a) 
everywhere f a0 = fromJust . retract . everywhere' f . section 

---

이 : 대신, 비트처럼 보인다

everywhere f a의 기능은 무엇입니까? ADT a에 "everywhere"함수 f을 적용하려고 시도합니다. 즉

doubleNegSimpl :: Exp -> Exp 
doubleNegSimpl (Negate (Negate e)) = e 
doubleNegSimpl e     = e 

을 다음과 같이 즉, 우리는 지금, 우리의 이중 부정 단순화 쓰기 REDEX (Negate (Negate _))이 일치하도록 실패 할 때마다 그것은 id 역할을합니다. 우리는이

simplify :: Exp -> Exp 
simplify = everywhere doubleNegSimpl 

두 번 부정에 everywhere를 적용하면 일반적인 탐색을 통해 "어디서나"제거 될 것입니다.... 상용구가 사라졌습니다.