Why does arrayref throw?

[Sukera]

@StefanKarpinski

@tmpo

Conversely, if accessing an undef element is “undefined behavior”,

It isn’t undefined behavior, it’s fully defined.

This came up before, with (due to your statement) now conflicting interpretations:

Is accessing an `undef` array undefined behavior?

Yes, though probably not the kind that we’d exploit for optimization. We’d likely change the behavior of it to be defined if the compiler got to the point of being strong enough for this to be a problem (because then it could likely also optimize away the cases where it’s currently slow).

Which is it?

To be clear, I don’t think the term “undefined behavior” is particularly helpful in Julia, because we don’t have a defining standard like C that we could be violating.