felipecrv commented on PR #39200:
URL: https://github.com/apache/arrow/pull/39200#issuecomment-1852808199

   > Ok, say I have a IPv4 extension type backed by a UInt32 storage type. I 
want to declare that ordering on IPv4 extension values is the same as on the 
storage type (so that, e.g., sorting would work automatically). How does that 
work with the `accepts_extension_types_if_storage_matches` proposal?
   
   The operation declares that it can receive int32 and all logical types 
defined in terms of int32 (like `IPv4`).
   
   `sort(array<int32>)` can also work as `sort(array<ipv4>)`, but `sum(int32, 
int32)` can't.
   
   But to be fair, I would have to think more carefully about these things 
before accepting any magical implicit behavior. See how much pain the C 
implicit casts (that look inoffensive) have created in the world.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to