NewGod/PDSL

类型推导问题总结

NewGod opened this issue · 0 comments

类型推导有下列的问题:
是否要显式申明变量,如果要自动推导变量类型,量纲检测又要如何去处理下列问题

a未定义过

a = 1 # 报warning,尝试在后面动态推导类型并报告
a = 1 N # a 就是 F

a已定义过

# a was a mass
a = 1 N # 报warning,即赋值的量纲检测出错即报warning

经过讨论,决定自动推导变量,其解决方法如注释所示