[我正在尝试使用Erlang重做我所有的Haskell家庭作业问题,让我着迷的是如何使用没有所有参数的函数列表。
示例:我正在尝试使用此折叠,但是我不知道如何传递函数以便它在累加器上运行
%%inside my module)
add(X,Y) -> X + Y.
multiply(X,Y) -> X*Y.
之后在命令行中使用它:
lists:foldl(fun(Function,Accumulator) -> Function(Accumulator) end, 3, [add(3),multiply(5)]).
在Erlang中,您必须调用传递所需的所有参数的函数。但是您可以通过创建一个仅接受所需参数的匿名函数来轻松避免这种情况,然后正确调用函数。如果您需要一个带有一个参数X并调用函数add(3,X)的函数,则可以创建一个匿名函数,如下所示:
fun (X) -> add(3, X) end
这是您的任务的示例:
lists:foldl(fun (Function, Accumulator) -> Function(Accumulator) end, 3,
[fun (X) -> add(3, X) end, fun (X) -> multiply(5, X) end]).
就本机Erlang而言,没有您想要的任何形式的部分评估。您将必须创造自己的乐趣。但是,如果使用Erlando Monad Library,则可以使用模式匹配来创建它。它的工作原理是,erlang编译器使您可以在编译代码时使用AST,这样您就可以做一些很酷的事情。
可以相当容易地编写部分应用程序功能,这被称为erlang:apply / 3的类似方式。它缺乏支持currying的语言所具有的优雅。
-module(partial).
-export([apply/4]).
apply(Module, Name, Arity, Args) when length(Args) < Arity ->
Left = Arity - length(Args),
fun(Args1) when length(Args1) < Left ->
fun(Args2) ->
apply(Module, Name, Arity, Args2 ++ Args1 ++ Args)
end;
(Args1) when length(Args1) > Left ->
erlang:error(badarg);
(Args1) ->
erlang:apply(Module, Name, Args1 ++ Args)
end;
apply(_, _, Arity, Args) when length(Args) > Arity ->
erlang:error(badarg);
apply(Module, Name, _, Args) ->
erlang:apply(Module, Name, Args).
lists:foldl(
fun(Function,Accumulator) -> Function(Accumulator) end,
3,
[
fun(X) -> modname:add(3, X) end,
fun(X) -> modname:multiply(5, X) end
]
).
-module(f).
-export([curry/1]).
curry(AnonymousFun) ->
{arity, Arity} =
erlang:fun_info(AnonymousFun, arity),
do_curry(AnonymousFun, Arity, [[], [], []]).
do_curry(Fun, 0, [Fronts, Middle, Ends] = X) ->
% Fronts ++ Middle ++ ")" ++ Ends;
[F, M, E] =
lists:map(fun(L) -> string:join(L, "") end, X),
Fstring =
F ++ "Run(" ++ string:trim(M, trailing, ",") ++ ")" ++ E,
{ok, Tokens, _} =
erl_scan:string(Fstring ++ "."),
{ok, Parsed} =
erl_parse:parse_exprs(Tokens),
FunBinding =
erl_eval:add_binding(
'Run',
Fun,
erl_eval:new_bindings()
),
{value ,CurriedFun, _} =
erl_eval:exprs(Parsed, FunBinding),
CurriedFun;
do_curry(Fun, Arity, [Fronts, Middle, Ends]) ->
VarName = [64 + Arity],
NewFronts = ["fun(" ++ VarName ++ ") -> " | Fronts] ,
NewMiddle = [VarName ++ ","|Middle],
NewEnds = [" end"|Ends],
do_curry(Fun, Arity-1, [NewFronts, NewMiddle, NewEnds]).
用法(从外壳输出中剔除噪声:
72> c("./f") % If `f.erl` is in the current dir that is.
73> F = f:curry(fun(A,B,C) -> A + B + C end).
74> F(1).
75> G = F(1).
76> G(2).
77> H = G(2).
78> H(3).
6
79> I = (F(1))(2).
80> I(3).
6
82> F2 = mtest:curry(fun erlang:'++'/2).
83> F2("lofa").
84> (F2("lofa"))("miez").
"lofamiez"
有用的资源: