Tianqi Chen
Tianqi Chen
One of the main challenge here is that we might need to think about language semantics here. We know that match shape to a fresh var makes sense, and we...
agree about the reasonings pt wildcard, the main tradeoff is the cost of introducing any and their handling, and clarify how passes handle them and possible usecases around them. In...
agreed with all the analysis, great discussions :)
Indeed, in the case of return type the wildcard gives more info(about rest of the dims) In the particular case it becomes the RuntimeDep in this case.
I agree, just some design tradeoffs to consider, e.g. the extra info and the overhead on introducing passes.
cc @MasterJH5574 would be great to rebase and get it in
This seems to be related to meta-programming , cc @yelite @cyx-6 @junrushao1994
aliasing indeed create complication(need for alias analysis or do nothing). On the otherhand, they are somewhat needed mainly because of the abstraction and interfacing with python's data structure (which themselves...
Most are implemented thanks to @ganler
This has been fixed in the lastest refactor