Decided to add auto-currying as well. Unlike other auto-currying languages on the beam (*cough*alpaca**cough*elmchamy*cough*) that auto-curry at the definition site, thus using up every single arity of a function, I’m auto-currying at the call site, which is something the BEAM is well optimized for anyway, thus given these definitions:
def testering_func0 = 42
def testering_func1(a, b, c) | {integer, integer, integer} = {a, b, c}
def testering_func2(a | integer, b | integer, c | integer) = {a, b, c}
def testering_func3(a | integer, b | integer, c | integer) | {integer, integer, integer} = {a, b, c}
def testering_func4 = testering_func0
def testering_func5 = testering_func1 1, 2, 3
def testering_func6(a, b, c) = testering_func1 a, b, c
def testering_func7(a) = testering_func1 1, a, 3
def testering_func8 = testering_func1
def testering_func9(a) = testering_func1 a
def testering_func10(a) = testering_func1 1, a
def testering_func11(a) = testering_func1 a, 2
def testering_func12(a, b) = testering_func1 a, b
def testering_func13(a) = testering_func1 a, _, _
def testering_func14(a) = testering_func1 _, a, _
def testering_func15(a) = testering_func1 _, _, a
def testering_func16(a) = testering_func1 _, a
def testering_func17(a) = testering_func1 a, _0, _1
def testering_func18(a) = testering_func1 a, _1, _0
def testering_func19(a) = testering_func1 a, _1
Which can be used like:
assert MLModuleTest_Specific.testering_func0() === 42
assert MLModuleTest_Specific.testering_func1(1, 2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func2(1, 2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func3(1, 2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func4() === 42
assert MLModuleTest_Specific.testering_func5() === {1, 2, 3}
assert MLModuleTest_Specific.testering_func6(1, 2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func7(2) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func8().(1, 2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func9(1).(2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func10(2).(3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func11(1).(3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func12(1, 2).(3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func13(1).(2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func14(2).(1, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func15(3).(1, 2) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func16(2).(1, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func17(1).(2, 3) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func18(1).(3, 2) === {1, 2, 3}
assert MLModuleTest_Specific.testering_func19(1).(:unused, 2, 3) === {1, 2, 3}
And the generated elixir:
def(testering_func0()) do
42
end
def(testering_func1(a, b, c) when is_integer(c) and (is_integer(b) and is_integer(a))) do
{a, b, c}
end
def(testering_func2(a, b, c) when is_integer(c) and (is_integer(b) and is_integer(a))) do
{a, b, c}
end
def(testering_func3(a, b, c) when is_integer(c) and (is_integer(b) and is_integer(a))) do
{a, b, c}
end
def(testering_func4()) do
testering_func0()
end
def(testering_func5()) do
testering_func1(1, 2, 3)
end
def(testering_func6(a, b, c) when is_integer(c) and (is_integer(b) and is_integer(a))) do
testering_func1(a, b, c)
end
def(testering_func7(a) when is_integer(a)) do
testering_func1(1, a, 3)
end
def(testering_func8()) do
fn ($var_0, $var_1, $var_2) when is_integer($var_2) and (is_integer($var_1) and is_integer($var_0)) -> testering_func1($var_0, $var_1, $var_2) end
end
def(testering_func9(a) when is_integer(a)) do
fn ($var__0, $var__1) when is_integer($var__1) and is_integer($var__0) -> testering_func1(a, $var__0, $var__1) end
end
def(testering_func10(a) when is_integer(a)) do
fn $var__0 when is_integer($var__0) -> testering_func1(1, a, $var__0) end
end
def(testering_func11(a) when is_integer(a)) do
fn $var__0 when is_integer($var__0) -> testering_func1(a, 2, $var__0) end
end
def(testering_func12(a, b) when is_integer(b) and is_integer(a)) do
fn $var__0 when is_integer($var__0) -> testering_func1(a, b, $var__0) end
end
def(testering_func13(a) when is_integer(a)) do
fn ($var_0, $var_1) when is_integer($var_1) and is_integer($var_0) -> testering_func1(a, $var_0, $var_1) end
end
def(testering_func14(a) when is_integer(a)) do
fn ($var_0, $var_1) when is_integer($var_1) and is_integer($var_0) -> testering_func1($var_0, a, $var_1) end
end
def(testering_func15(a) when is_integer(a)) do
fn ($var_0, $var_1) when is_integer($var_1) and is_integer($var_0) -> testering_func1($var_0, $var_1, a) end
end
def(testering_func16(a) when is_integer(a)) do
fn ($var_0, $var__0) when is_integer($var__0) and is_integer($var_0) -> testering_func1($var_0, a, $var__0) end
end
def(testering_func17(a) when is_integer(a)) do
fn ($var_0, $var_1) when is_integer($var_1) and is_integer($var_0) -> testering_func1(a, $var_0, $var_1) end
end
def(testering_func18(a) when is_integer(a)) do
fn ($var_0, $var_1) when is_integer($var_1) and is_integer($var_0) -> testering_func1(a, $var_1, $var_0) end
end
def(testering_func19(a) when is_integer(a)) do
fn (_, $var_1, $var__0) when is_integer($var__0) and is_integer($var_1) -> testering_func1(a, $var_1, $var__0) end
end
As you can see, if you skip a placement (as in testering_func19) by using, say, _1 without the _0 then a _0 remains unbound and unused. It also supports from _0 up to _127, easily adjustable if it ends up being too much or too little (how?!).
.