Add exact HigherOrderSignature

[LiaCastaneda]

Which issue does this PR close?

No issue — this is a follow-up to #21679. - EPIC #21172

Rationale for this change

In ScalarUDF, arity is enforced by the framework via TypeSignature. In HigherOrderUDF, functions with a fixed number of value and lambda arguments had to use UserDefined and manually validate arity inside coerce_value_types, which is boilerplate that every implementor has to repeat.

What changes are included in this PR?

Adds HigherOrderTypeSignature::Exact { values: usize, lambdas: usize } variant that enforces a fixed count of value and lambda arguments, calling coerce_value_types only for type coercion as well

Are these changes tested?

Yes I added some planning tests for exact siganture in datafusion/expr/src/type_coercion/functions.rs

Are there any user-facing changes?

Yes a new signature for HigherOrderSignature was added.

[github-actions]

Thank you for opening this pull request!

Reviewer note: cargo-semver-checks reported the current version number is not SemVer-compatible with the changes in this pull request (compared against the base branch).

Details

 Cloning apache/main
Building datafusion-expr v53.1.0 (current)
Built [ 28.297s] (current)
Parsing datafusion-expr v53.1.0 (current)
Parsed [ 0.071s] (current)
Building datafusion-expr v53.1.0 (baseline)
Built [ 25.938s] (baseline)
Parsing datafusion-expr v53.1.0 (baseline)
Parsed [ 0.074s] (baseline)
Checking datafusion-expr v53.1.0 -> v53.1.0 (no change; assume patch)
Checked [ 1.157s] 222 checks: 221 pass, 1 fail, 0 warn, 30 skip
--- failure enum_variant_added: enum variant added on exhaustive enum ---
Description:
A publicly-visible enum without #[non_exhaustive] has a new variant.
ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new
impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.47.0/src/lints/enum_variant_added.ron
Failed in:
variant HigherOrderTypeSignature:Exact in /home/runner/work/datafusion/datafusion/datafusion/expr/src/higher_order_function.rs:79
Summary semver requires new major version: 1 major and 0 minor checks failed
Finished [ 57.346s] datafusion-expr
Building datafusion-functions-nested v53.1.0 (current)
Built [ 35.188s] (current)
Parsing datafusion-functions-nested v53.1.0 (current)
Parsed [ 0.035s] (current)
Building datafusion-functions-nested v53.1.0 (baseline)
Built [ 34.671s] (baseline)
Parsing datafusion-functions-nested v53.1.0 (baseline)
Parsed [ 0.036s] (baseline)
Checking datafusion-functions-nested v53.1.0 -> v53.1.0 (no change; assume patch)
Checked [ 0.176s] 222 checks: 222 pass, 30 skip
Summary no semver update required
Finished [ 71.530s] datafusion-functions-nested
Building datafusion-sqllogictest v53.1.0 (current)
Built [ 162.794s] (current)
Parsing datafusion-sqllogictest v53.1.0 (current)
Parsed [ 0.022s] (current)
Building datafusion-sqllogictest v53.1.0 (baseline)
Built [ 162.080s] (baseline)
Parsing datafusion-sqllogictest v53.1.0 (baseline)
Parsed [ 0.023s] (baseline)
Checking datafusion-sqllogictest v53.1.0 -> v53.1.0 (no change; assume patch)
Checked [ 0.089s] 222 checks: 222 pass, 30 skip
Summary no semver update required
Finished [ 328.361s] datafusion-sqllogictest

[gabotechs]

This looks good! just had a couple of questions

[gabotechs]

Looks good! thanks @LiaCastaneda

[gabotechs]

Thanks @LiaCastaneda! merging this one now.

[LiaCastaneda]

🤔 there is something going on with the merge queue