functional-programming - 在 Elixir 上导入函数时使用 only 或 except 指定arity

Question

我正在研究 Elixir，当我使用 only或 except从模块导入函数时的运算符我需要指定一个元数。为什么？

例如

import :math, only: [sqrt: 1]

或者

import :math, except: [sin: 1, cos: 1]

Answer 1

在整个 Erlang 生态系统中，功能由名称 + 数量来标识。在大多数其他语言中，您可以按名称重载函数。换句话说，在 Erlang 世界中 foo/1(即 foo(one_arg))是与 foo/2 完全不同的函数(如 foo(one_arg, two_arg))，但在 Python 或 Ruby 中，“foo”是完整的函数标识，并且可以使用灵活数量的参数调用它。

约定是将具有相同含义的函数命名为相同的名称，尤其是在递归定义的迭代函数的情况下，例如:

factorial(N) -> factorial(1, N).

factorial(A, 0) -> A;
factorial(A, N) -> factorial(A * N, N - 1).

注意有两个句点，这意味着这里有两个完全独立的定义。我们也可以这样写:

fac(N) -> sum(1, N).

sum(A, 0) -> A;
sum(A, N) -> sum(A * N, N - 1).

但是你会注意到，第二个版本在字符笔划方面的节省远远超过了它的语义卷积——第二个版本的内部函数名称是彻头彻尾的谎言!

惯例是将相关函数命名为相同的东西，但实际上在 Erlang 生态系统中不允许通过 arity 重载函数。为了使这种重载可以接受，需要对编译为 Erlang 字节码的语言的编译器添加大量功能，而这将是无意义的浪费努力。目前的情况与我们可以在动态类型的函数式语言中获得的一样好(没有它成为静态类型的函数式语言......这完全是另一个讨论)。

最终结果是您必须准确指定要导入的函数，无论是在 Erlang 还是 Elixir 中，这意味着通过 name + arity 来识别它。认识到通用约定是对执行相同操作但具有不同参数计数的函数使用相同的名称(通常只需编写级联的柯里化(Currying)定义来包含通用默认值)，Elixir 提供了一种按组包含函数而不是枚举的快捷方式他们。

所以当你 import :math, only: [sqrt: 1]你只拿 math:sqrt/1并留下模块的其余部分(如果有 math:sqrt/2 你会忽略它)。当你 import :math, except: [sin: 1, cos: 1]除了 math:sin/1 你什么都拿和 math:cos/1 (如果有 math:sin/2 你会接受的)。 name + arity 是一个独特的身份。想象一下可用功能的大型 KV 存储。 key 是 {module, func, arity} ，这意味着它们是系统的原子值。如果你对 Erlang 稍微熟悉一点，这可能会让你觉得很熟悉，因为你处理的是元组 {Module, Function, Args}每时每刻。