특정 하위 트리에 대한 관찰 공유를 방지 나는 배열에 대한 목록과 같은 콤비를 제공하는 EDSL (등 map, zipWith ..) 일부 콤비가 랜덤 액세스로 특정 입력을 필요가있다. 예 : 다른 의해 지정된 인덱스의 데이터 어레이의 요소 따기 Gather의 데이터 배열은 : Gather (Manifest [10,11,12]) (Manifest [2,0,0
장난감 임베디드 언어를 고려 data Expr =
App Expr Expr
| Lam Pat Expr
| Case Expr [(Pat, Expr)]
내가 data-reify를 사용하여 Expr 표현에서 암시 적 공유를 관찰합니다. MuRef 클래스 data ExprF e =
AppF e e
| LamF Pat