News for hackers. Stuff that matters.

A comment on Elixir – Why the dot (when calling anonymous functions)?. Parent comment

Re:Elixir – Why the dot (when calling anonymous functions)? by LadyCailin on Monday August 14, 2023 @01:38PM (#37123980)
Its type system is apparently Turing complete. That’s a pretty major flaw, imo. Meaning that static analysis isn’t always possible.
[ Parent | on HN ]
Re:Elixir – Why the dot (when calling anonymous functions)? by consilient on Monday August 14, 2023 @06:26PM (#37127552)
Turing complete type systems are extremely common. C#, C++, Java - it's hard to avoid if you have subtyping and generics. In practice it almost never comes up.
[ Parent | on HN ]