Type-based techniques for program manipulation have become mature over the last decades. In this talk, we review some common principles of type-based program transformation techniques through two of our past PEPM papers. We also discuss some recent and future directions on program transformation techniques, which will play a growing role beyond compiler optimizations.