gscript在定位上是一门强类型的语言，然而以下代码却能正常编译并运行

int getNumber(){
  return true;  // 返回值应该是一个整型而不是布尔
}
println(getNumber());

这显然是与gscript强类型的定位相悖的
所以是否有必要在语法解析和解释之间增加一个类型检查（语义分析）的步骤？