Given that the Elixir language has largely stabilized, it may be time
to consider ways to make the compiler a bit more helpful.  For example,
it might be possible for some sort of type inference to detect the
following sorts of bugs at compile time:

    x = :abc
    x + 1

    f = 4
    f.(1)

    bar_fn = fn a, b -> a + b end
    bar_fn.(c)

FWIW, this proposal stems from a discussion on Elixir Forum:

"Why doesn’t Elixir check the arity of anonymous function calls"
https://elixirforum.com/t/why-doesnt-elixir-check-the-arity-of-anonymous-function-calls

-r

-- 
You received this message because you are subscribed to the Google Groups 
"elixir-lang-core" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/elixir-lang-core/51EA85AD-EDE5-43AE-9BB0-340A94D79C3D%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to