[GitHub] [incubator-tvm] MarisaKirisame commented on issue #4615: [REFACTOR][TYPE] Remove un-necessary var sub-field in TypeVars

[GitBox <gi...@apache.org>]

MarisaKirisame commented on issue #4615: [REFACTOR][TYPE] Remove un-necessary var sub-field in TypeVars
URL: https://github.com/apache/incubator-tvm/pull/4615#issuecomment-570750060
 
 
   having type that use expr is called dependent type. typically, instead of typevarexpr, ppl unify the "type",  "kind" and "expr" data type into one single type. Why dont we merge type and expr? It will, e.g. make attribute not special anymore, become first class citizen so one can very easily define function in tvm that basically call another function. right now it is not possible unless you do it in C++, because you have to fill out typerelation and do dispatching yourself there.

----------------------------------------------------------------
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.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services