函数式编程, 程序设计, 算法, 计算机科学, 软件工程Bird–Meertens 形式化方法 (Bird–Meertens Formalism)Bird–Meertens 形式化方法, BMF, 函数式编程, 程序推导, 算法优化