Signature::any is specified as "A specified number of arguments of any type"
what's wrong with Signature::any(0)?

Signature::any is specified as "A specified number of arguments of any type"
what's wrong with Signature::any(0)?

I don't know. It would also be fine if that format kept working as before (maybe better).

The reason why Signature::nullary is the preferred choice is that otherwise we can have Signature::any(0), Signature::exact(0), Signature::coercible(0) that represent the same thing -- nullary. I hope we can have a single representation for NoArg case. I think adding constraint to Signature::Any(n) that n > 0 makes sense to me, we can have it as "Non-zero number of arguments of any type"

In my opinion the important thing is that someone who has an existing Signature::any(0) etc is guided to how to fix the problem.

Ideas (I can make PRs for this once we agree)

Option 1: Backwards compatibility:

1. Add special cases for Signature::any(0) and Signature::exact(0) and Signature::coercible(0) that does the same as nullary (I think this would be the most user friendly and would be backwards compatible)

Option 2: Better errors

1. make the error message more specific (something like "Signature::any(0) is not supported, please use Signature::nullary`)
2. Add documentation to the enums so that if someone is lookiing for "what signature do I use for 0 argument function" they can find nullary quickly

Option 3: API w/ compile time checks

We could also take a more drastic approach and verify this at compile time by making the compiler reject non zero numbers (I think this API churn is more expensive than the value saves than worth it at the moment):

pub enum Signature {
  Exact(NonZeroUsize)
...
}

Option2 seems like a better choice

I have begun working on Option 2. Here is a PR that adds better comments:

• Rename TypeSignature::NullAry --> TypeSignature::Nullary and improve comments #13817

I started writing some tests for this I could not find a way to make the error messages less confusing.

Specifically the error looks like this:

Error during planning: example_union does not support zero arguments
No function matches the given name and argument types 'example_union()'. 
You might need to add explicit type casts.

Candidate functions:
    example_union()

The last suggestion of example_union() is very confusing to me as it implies that zero arguments are supported but in this case it is not.

I think the issue is that users can construct a Signature::any(0) but it is currently interpreted to be "invalid", but that can't be detected until execution time.

I think this will be percived as a tricky/annoying regression for people who have existing udfs with Signature::any

Edit: this isn't correct: I also did some testing and it turns out that there are several other ways people could represent zero argument signatures (TypeSignature::Uniform(0, ..) for example which are still allowed

From my perspective the fact that Signature::Any(0) used to work in prior versions and now does not is a regression that we should fix

Here is a proposal to do so:

• Require all zero argument UDFs use Signature::Nullary, improve error messages #13871