#计算机

函数式编程以函数为基本计算单元，强调不变性与表达式求值，与类型论和范畴论有深刻的内在联系。