强函数式编程 强函数式编程也称为全函数式编程与之相对的是普通的或者说弱函数式编程是一种编程范式它将程序的范围限制为可证明停机的程序