alamb commented on issue #4683:
URL: 
https://github.com/apache/arrow-datafusion/issues/4683#issuecomment-1362091923

   > This way the placeholders could serve for a 1st pass, then a second 
inference pass could walk the tree, infer the types and set them if possible or 
error if it can't figure them out.
   
   I think this is a good high level plan (and one that has been sketched out 
in https://github.com/apache/arrow-datafusion/pull/4701 )
   
   > That being said, implementation might not be too difficult: based upon the 
statements in the git gist above, types always seem to be:
   
   I think starting with simple rules (aka use the type of the other side of 
the operator) would be good and then we can extend the rules to be more 
sophisticated over time as needs evolve (like `NOT $1` probably could infer 
`$1` to be boolean, for example)
   


-- 
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

Reply via email to