저는 Stratego/XT를 이해하는 첫 단계를 실제로 생각해 보았습니다. 내가 많이 봤 거든 내가 찾은 모든 웹 자원은 처음에는 연결을 만들 수없는 큰 도약을 만드는 것 같습니다. 설명하겠습니다. 문서는이이 도약을 Minus(Call(Var("f"),[Plus(Var("a"),Int("10"))]),Int("3"))
그러나 그것은 (심지어 바로 다음
저는 종종 이런 종류의 코드 변환 (또는 수학적 변환)을 교차합니다. (파이썬 예,하지만 모든 언어에 적용됩니다.) 내가 def f(x):
return x
내가 다른 일에 사용하는 기능을 이동했습니다. def g(x):
return f(x)*f(x)
print g(2)
4 에 이르게하지만 기능 종속성을 제거하려면, 내가 def