official conventional argument precedence

[StefanKarpinski]

We have a number of conventions about first arguments: functions, I/O objects, types (others?). We should document these conventions explicitly and assign them an official precedence since otherwise when there are conflicts, people tend to simply pick a random order.

---

#16307 (finalizer argument order)

[StefanKarpinski]

E.g. #18931 (comment)

[johnmyleswhite]

Related topic: should mutated arguments for foo! style functions come first? We've mostly moved this way, but rand! continues to be an exception.

[StefanKarpinski]

Part of #20402.

[JeffBezanson]

I propose the following priority order (highest priority listed first):

1. Function argument (for HOFs accepting one function, or for use with do blocks)
2. IO stream
3. Thing being mutated (Edit: to hold the main result of the computation)
4. Type
5. Collection (not being mutated)
6. Key
7. Value
8. Everything else

Exception: first argument to convert is always the type.

This is an interesting case:

julia> similar(Matrix{Int}, (2,3))
2×3 Array{Int64,2}: ...

julia> similar(rand(2,3), Int)
2×3 Array{Int64,2}: ...

julia> collect(Int, [1.0,2.0])
2-element Array{Int64,1}:

I think collect is ok; shown for comparison purposes. There may be no hope for similar except to switch it to all keyword arguments.

[StefanKarpinski]

Using keyword args for similar would be nice and self-documenting.

[timholy]

👍 With regards to the position of "things being mutated," one of the patterns I seem to fall into in my own code is a separation between outputs and caches/temporary workspace arguments; I tend to put outputs near the front but workspace variables towards the end. I'm not recommending this specific approach, but I bring it up in case the distinction is worth considering.

[StefanKarpinski]

I think that's a fairly common distinction, @timholy – I believe that it comes from C APIs. I read about this recently, and can try to find a reference to it.

[evanfields]

Regarding Jeff' comment above, this feels like a really principled ordering which would be pretty confusing to new and mid-level users like me.

Roughly, when I'm trying to remember the order of function arguments, I'm not thinking about IOStreams and Types and Collections: I'm thinking about required and optional arguments. And understandably, the current language is pretty inconsistent about whether optional arguments go first, last, or some combination thereof. Maybe that just means new users need to change their thinking - and it has e.g. become natural to think of functions going first for do blocks.

I raised similar concerns here in #20402.