算法自动应用： 给定：实现 & 模板 优化算法 分治→其他算法→通用函数式编程 归纳程序合成：在程序空间中搜索，验证（属性：正确性/等价性，算子复杂度） 函数融合：生成h = f ⊙ g (优化，消除冗余)