Program Fusion (프로그램 융합변환)이란?

작은 함수들을 조합해서 만든 프로그램은, 함수들 사이에서의 데이터 주고받기에 많은 부하가 걸리게 된다. 이러한 프로그램을 여분의 데이터를 주고받지 않는 효율적인 프로그램으로 변환하는 수법을 프로그램융합변환이라고 한다.

통상적으로, 정리의 자동증명 기법을 응용한 귀납법을 응용하면 이것을 실현할 수 있다고 한다.

... ... ... 이후에 나오는 설명들은 이해불가능이므로 pass.

한마디로, 레고블럭을 가지고 커다란 프로그램을 만드는데, 각 블록이 입출력 데이터를 가지도록 하지 않고, 커다란 덩어리 하나에만 입출력을 두게 하는 방법인 것 같다.

함수형 언어의 최적화 방법중 하나가 될 것 같다. --- 이미 이것으로 박사 논문이 있더군. --;