We are designing a language that mixes typed and untyped code. We want your opinion on what should happen when untyped values flow into typed expressions.
Our language has static type checking but does not have type inference. For example, this program would pass the static type checker but would error at line 3:
var x : Number = 4;
var y = "hello";
x / y
The following 8 questions ask your opinion about possible results of running a few programs that pass the static type checker (but may still have runtime errors). We are not looking for feedback on syntax.