函数式编程的目标是通过使用形式化模型(formal models)来控制系统的复杂性，并十分关注代码的属性和重构的容易性。
这句话的意思是，函数式编程通过使用数学和逻辑的形式化模型来简化和控制系统的复杂性，同时强调代码的特性和易于重构的能力。让我们逐步解析这句话：
1. 形式化模型 (Formal Models)
形式化模型是指使用数学和逻辑的严格定义来描述程序的行为和结构。在函数式编程中，函数和数据结构通常被视为数学对象，这使得程序更容易推理和验证。加强理解：
形式化模型是指使用数学和逻辑的严格定义来描述系统的行为和结构。在编程中，这意味着使用明确的、可验证的规则和公式来定义程序的各个部分。
数学和逻辑提供了一种精确的语言，可以用来描述程序的行为和结构。通过使用这些严格定义，可以确保程序的行为是可预测的，并且可以通过数学证明来验证其正确性。
形式化模型用于描述程序的行为（即程序在不同输入下的输出）和结构（即程序的组成部分及其关系）。这种描述使得程序更容易理解和推理。
理解形式化模型的好处
可预测性：通过使用纯函数和不可变数据，程序的行为是可预测的，可以通过数学证明来验证其正确性。
可验证性：形式化模型提供了一种精确的语言，可以用来描述程序的行为和结构，从而使程序更容易验证。
可推理性：通过使用数学和逻辑的严格定义，可以更容易地推理程序的行为，从而减少错误和提高代码质量。
2. 控制系统的复杂性
通过使用形式化模型，函数式编程可以更好地控制系统的复杂性。因为函数式编程强调纯函数和不可变数据，这些特性使得代码更容易理解和预测，从而减少了复杂性。
3. 关注代码的属性
函数式编程非常关注代码的属性，如纯函数、不可变性、高阶函数、函数组合和柯里化等。这些属性使得代码更具可读性、可维护性和可测试性。
在函数式编程中，更关注代码的属性是指关注代码的行为和特性，而不是具体的实现细节。
4. 重构的容易性
由于函数式编程强调纯函数和不可变数据，代码的重构变得更加容易。纯函数没有副作用，因此可以独立于其他代码进行修改和测试。不可变数据确保了数据不会在意料之外的地方被修改，从而减少了重构时引入错误的风险。
通过使用形式化模型来描述程序的行为和结构，函数式编程可以更好地控制系统的复杂性，并且由于其关注代码的属性和重构的容易性，使得代码更具可读性、可维护性和可测试性。