Yeah, I am using Erlang’s list, but unfortunately, :erl_bifs covers only :erlang module. I didn’t know about list of pure Elixir functions, I’ll grep the Elixir sources then, thanks for the tip!
I didn’t quite get what you meant.
Well, it depends on these Erlang functions. If abstract_code for the function can be fetched, it can be analyzed for purity and safety. If the abstract_code is not present, or the function is a NIF/BIF stub, we can ask a user to provide the value for a trait, or just assume the worst (impurity or unsafety)
