Hi Rich, While it is completely OK to submit feature requests to this mailing list, the feature you are requesting would take literally years of work to be implemented in a way that it is useful for anything beyond obvious examples such as "bar = :bar; bar + 1".
A proposal on this topic would have to consider all of that, discuss approaches, alternatives, literature, pros/cons, etc. *José Valim* www.plataformatec.com.br Skype: jv.ptec Founder and Director of R&D On Tue, Jun 25, 2019 at 10:07 PM Rich Morin <[email protected]> wrote: > 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. > -- 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/CAGnRm4KsA8JdyraCc0gZ0sG1ZYbGbeLjgakXrHGjD7UCzqcYoA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
