我想了解这两个编程概念之间的区别。第一个表示没有数据类型,而后者表示类型存在但没有信息。此外,我认识到 Unit 来自函数式编程理论基础,但我仍然无法理解 unit 原语的可用性(例如,在 F# 程序中)。
2 回答
单位类型只是让一切变得更规律。在某种程度上,您可以将 F# 中的每个函数视为采用单个参数并返回单个结果。不需要任何参数的函数实际上将“unit”作为参数,不返回任何结果的函数返回“unit”作为结果。这有很多优点;一方面,考虑在 C# 中你如何需要大量“Func”委托来表示各种返回值的函数,以及大量不返回值的“Action”委托(因为例如Func<int,void>
不合法 - 无效不能那样使用,因为它不是一个“真正的”类型)。
在函数式编程中,我们通常说将输入映射到输出。这实际上意味着将参数映射到它的返回值。但是,如果某些东西要成为数学/范畴论意义上的函数,它必须返回something。值void
表示函数不返回任何内容,这在这些术语中是无意义的。
unit
是 的功能答案void
。它本质上是一种只有一个值的类型,()
. 它有很多用途,但这里有一个简单的。假设你在更传统的命令式语言中有这样的东西:
public static <T, U> List<U> map(List<T> in, Function<T, U> func) {
List<U> out = new ArrayList<U>(in.size());
for (T t : in) {
out.add(func.apply(t));
}
return out;
}
这会将特定函数应用于列表中的每个元素,从而生成' 输出类型func
的新列表。但是如果你传入一个只打印其参数的函数会发生什么?它没有输出类型,那你能放什么呢?func
U
在某些语言中,传入这样的函数会破坏此代码(例如在 C# 中,您无法分配void
给泛型类型)。您必须求助于诸如拥有一个Action<T>
可能会变得笨重的变通方法。
这就是 of 的概念unit
有用的地方:它是一种类型,但可能只接受一个值。这极大地简化了诸如链接和组合之类的事情,并大大减少了您必须担心的特殊情况的数量。