Hi I am aware this message may seem redundant, given most communication happens in GitHub issues with some spill over to the ASF Slack. Posting this to make sure we follow "the apache way" (“If it didn’t happen on the mailing list, it didn’t happen.”).
There is a great proposal from Filippo Rossi on the need to separate Logical types from physical representation https://github.com/apache/datafusion/issues/11513 We hope this will go as far as removing arrow physical types completely from planning process, i.e. even physical plans will use the logical types. BTW I want the logical types to be "the types", and be the only thing function implementors need to be worried about. I posted also a proposal to separate AST and IR expression worlds: https://github.com/apache/datafusion/issues/12604 Please take a look. Best Piotr
