有没有办法让函数“类型”在 Elixir 中实现协议？我正在玩自定义的Functorprotocol，想知道是否可以让函数实现它（忽略 Elixir 类型系统的所有限制）。
实现（如果 function 有一个类型）将是
defimpl Category.Functor, for: function do
def fmap(f, g), do: &(g.(f.(x))
end
因为你可以做到
f_2x_plus_1 = &(&1 * 2) |> Functor.fmap(&(&1 + 1))
f_2x_plus_1.(1) == 3
并不是说我会把它用于任何严肃的事情，只是想知道。
【问题讨论】：
标签： elixir
你的例子对我来说没有多大意义，因为在 elixir 中只有一种类型的函数，但 Function 是一种你可以 实施协议。
defimpl Category.Functor, for: Function do
def fmap(f, g), do: &(g.(f.(&1))
end
我看到的问题是，arity 在 Elixir/Erlang 中非常重要，我不知道如何以直接的方式解释这一点。
【讨论】：
apply，因为它的功能组合，您无法实际评估。
事实证明你可以。这是我正在为可能会产生一个名为excategory的库的实现@
defmodule Category.Function do
def compose(f, g) do
arity_f = :erlang.fun_info(f)[:arity]
arity_g = :erlang.fun_info(g)[:arity]
case {arity_f, arity_g} do
{1, 1} ->
&(g.(f.(&1)))
arities ->
raise "Function are not of arity 1, got #{arities}"
end
end
end
defimpl Category.Functor.P, for: Function do
defdelegate map(f, g), to: Category.Function, as: :compose
end
它位于入门的协议部分
【讨论】：
因为 Erlang/Elixir 是动态类型的，所以严格的答案是否定的。函数实际上只通过数量来区分（或者对于命名函数、模块、函数名和数量）。
您可以通过Typespecs 指定更具体的类型，并且dialyzer（可通过dialyxer 在混合任务中使用）将对此进行一些断言，但这不是编译工具链或运行时的一部分，并且不提供任何保证。并非所有违规行为都会被透析器捕获（它基于成功输入），但这是一个好的开始。
【讨论】：
我不确定您为什么需要 Protocol 来解决这个问题...抱歉，如果我错过了您问题中的重要内容。你可以用守卫来实现一个函数：
defmodule Functor do
def fmap(f, g) where is_function(f) and is_function(g) do
&(g.(f.(&1)))
end
end
然后你可以写：
iex> f_2x_plus_1 = Functor.fmap(&(&1 * 2), &(&1 + 1))
#Function<0.100612233/1 in Functor.fmap/2>
...> f_2x_plus_1.(1)
3
我想我只是不确定协议能得到什么而函数没有。
【讨论】：