crepererum commented on issue #7580:
URL: 
https://github.com/apache/arrow-datafusion/issues/7580#issuecomment-1725100837

   I agree that the signature system needs some work and I guess that you came 
up w/ a quite solid approach. However I am having some trouble following it 
:sweat_smile: . Some questions / comments:
   
   - **argument quality:** Could you add a short explanation for dev/undef and 
eq/uneq, i.e. what do they mean? Maybe an example could help here.
   - **kleen algebra:** that word alone doesn't say much, it just says that you 
follow the [Kleen algebra 
properties](https://en.wikipedia.org/wiki/Kleene_algebra#Definition). However 
it doesn't say what the components are, namely:
     - the set elements (i.e. is this the argument quality, the argument type, 
the argument value)
     - the two operators 
     - the `*` function
   - **meta algebra:** same comment as for the normal algebra


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