News for hackers. Stuff that matters.

A comment on Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27. Parent comment

Re:Elixir 1.17 released: set-theoretic types in patterns, du... by dub_gui on Thursday June 13, 2024 @03:38PM (#40673684)
To clarify, the type-checker does not modify compilation to the beam at all. Instead, it takes into account the predicted runtime checks to inject more static types into its analysis.

For instance, without even introducing annotations, if a function head has a guard `is_boolean(x)`, using the + operator on x within that function would lead to a type error.

[ Parent | on HN ]
Re:Elixir 1.17 released: set-theoretic types in patterns, du... by throwawaymaths on Thursday June 13, 2024 @05:52PM (#40675251)
exactly. The potential performance regression of guards is exactly why the elixir typechecker doesn't insert them. I guess I hadn't made that point clear in my comment. IIRC The elixir guides talks about excessive typechecking being a code smell.
[ Parent | on HN ]