andrewthad commented on issue #47118: URL: https://github.com/apache/arrow/issues/47118#issuecomment-3079410936
I spent an hour trying to make headway on this but didn't get anywhere. If anyone tries to do this in the future, here is one difficulty to be aware of. The arrow library is currently able to express type signatures where the output type refers to something from an input type. For example, `list_element` has a type like `List a -> IntLike -> a`, and this type can be expressed because there is a function `ListValuesType` that can be used as the `OutputType`, and its meaning is "take the first input type, expect it to be a list, and then get the element type from it". But there is no equivalent for an input type. So it is not currently possible to express a type like `List a -> a -> Bool`, which is needed for `list_contains`. -- 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: github-unsubscr...@arrow.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
