Hey Jared,
Thank you for the response! I completely agree that types are important. Without proper type information, we are unable to do anything like type-specific analysis, optimization and code generation. Also, I agree that doing type checking every time a new function is added is beneficial for debugging. My primary point is: is it that necessary that they are coupled together? 1) debugging: anyone is free to insert type inference anywhere they insert something to the module without having to break the system. 2) opt/codegen: we can do type inference pass before these passes. 3) flexibility: decoupling them would offer developers more flexibility, for example, do mutually recursive global function calls. Therefore, I would slightly prefer to decouple them :slight_smile: Thanks, Junru --- [Visit Topic](https://discuss.tvm.ai/t/discussion-adding-a-function-to-relay-module-automatically-triggers-infertype/3643/5) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/a33394071466a7eb5e057772449f8481e0204ee4bf0305453d5649045627a237). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=JSJa3tW3lbhZqKeYFKHYEQ2
