我读过一本书，叫Clean code。我从书中得到的最强烈的信息之一是代码必须是可读的。我不明白为什么 F# 等函数式语言不将函数参数名称包含在智能感知或类型定义中？
比较
val copy: string -> string -> unit
和
val copy: sourceFile:string -> destinationFile:string -> unit
函数式世界中的最佳实践是什么？我们应该更喜欢单参数函数吗？这就是Clean code提倡的。或者我们应该对 2+ 参数的所有函数使用记录？
我知道一种解决方法是使用static member而不是let函数，但这不是一种功能方法，是吗？
编辑：
只是为了提供更多信息：
当然还有其他人。它们只是不在类型定义中显示参数名称。
如果您练习类型化编程，即程序的许多语义内容可以静态反映在类型系统中，您会发现在许多（但不是全部）情况下，命名参数对于可读性来说不是必需的。
List考虑OCaml 标准库中的以下示例。通过知道它们对列表进行操作，并且使用函数的名称（希望清楚：我们都支持良好的名称选择），您会发现您不需要解释参数的作用。
val append : α list -> α list
val flatten : α list list -> α list
val exists: (α -> α bool) -> α list -> bool
val map: (α -> β) -> α list -> β list
val combine : α list -> β list -> (α * β) list
请注意，最后一个示例很有趣，因为不清楚代码将做什么。实际上会有几种解释。combine [1;2] [3;4]返回[(1,3); (2,4)]，而不是，例如，[(1,3); (1,4); (2,3); (2,4)]。也不清楚当两个列表长度不同时会发生什么（故障模式不清楚）。
不完全的函数，可能引发异常或不终止的函数，通常需要更多关于失败案例是什么以及它们将如何表现的文档。这是支持我们所谓的纯编程的一个强有力的论据，其中函数的所有行为都以返回值（无异常、可观察状态突变或非终止）的形式表示，因此可以通过以下方式静态捕获类型系统。
当然，这只适用于足够参数化的函数。他们有一种类型，可以非常清楚地说明他们的工作。并非所有函数都如此，例如考虑模块的blit函数String（我相信你最喜欢的语言也有这样的例子）：
val blit : string -> int -> string -> int -> int -> unit
嗯？
出于这个原因，编程语言添加了对命名参数的支持。例如，在 OCaml 中，我们有允许命名参数的“标签”。相同的函数在StringLabels模块中导出为：
val blit : src:string -> src_pos:int -> dst:string -> dst_pos:int -> len:int -> unit
这样更好。是的，命名参数在某些情况下很有用。
但是请注意，命名参数可用于隐藏糟糕的 API 设计（也许上面的示例也针对这种批评）。考虑：
val add : float -> float -> float -> float -> float -> float -> float * float * float
晦涩难懂吧？但是之后：
type coord = {x:float; y:float; z:float}
val add : coord -> coord -> coord
那好多了，我不需要任何参数标签（可以说记录标签提供命名，但实际上我可以float * float * float在这里同样使用；值记录可以包含命名（和可选？）参数的事实也是一个有趣的评论）。
David M. Barbour提出了这样的论点，即命名参数是语言设计的“拐杖”，用于篡改 API 设计者的懒惰，并且没有它们会鼓励更好的设计。我不确定我是否同意在所有情况下都可以有利地避免命名参数，但他的观点肯定与我帖子开头的类型宣传一致。通过提高抽象级别（通过更多的多态/参数类型或更好的问题域抽象），您会发现您减少了对参数命名的需求。
还是我完全错了，它与函数式编程和命令式编程之间的差异无关？
您并没有完全错，因为具有 HM 类型推断的函数式语言通常根本不需要类型注释，或者至少在任何地方都不需要。
除此之外，类型表达式不一定是函数类型，因此“参数名称”的概念不适用。总而言之，名称只是多余的，它不会向type添加任何信息，这可能是不允许它的原因。
相反，在命令式语言中，类型推断最近几乎是未知的。因此，您必须声明所有内容（在静态类型语言中），因此名称和类型往往会出现在一个地方。此外，由于函数不是一等公民，函数类型的概念，更不用说描述函数类型的表达式，只是未知的。
请注意，随着最近的发展（如“lambda”语法等），类型已知或可以轻松推断的参数的概念也出现在这些语言中。如果我没记错的话，甚至还有语法上的缓和来避免长名称，lambda 参数就是它甚至_
Haskell 的类型同义词可以帮助使类型签名更加自文档化。考虑例如函数writeFile，它只是将字符串写入文件。它有两个参数：要写入的字符串和要写入的文件名。还是相反？两个参数都是 type String，所以很难分辨哪个是哪个！
但是，当您查看文档时，您会看到以下类型签名：
writeFile :: FilePath -> String -> IO ()
这清楚地说明了（至少对我而言！）该功能的用途。现在，因为FilePath它只是 的同义词String，所以没有什么可以阻止您像这样使用它：
writeFile "The quick brown fox jumped over the lazy dog" "test.txt"
但是，如果您FilePath -> String -> IO ()在 IDE 中将类型作为提示，我认为这至少是朝着正确方向迈出的一大步！
您甚至可以更进一步，newtype为文件路径创建一个，这样您就不会意外混淆文件名和内容，但我想这增加了更多的麻烦而不是它的价值，而且可能还有历史原因导致没有这样做。