Although thinking, probably only happens in languages where type can change arbitrarily.  Here the type can't change except in a new block, which isn't really changing the type, but creating a new variable with the same name that shadows the old variable.


Sent from Yahoo Mail on Android

On Sun, Apr 8, 2018 at 10:59 AM, Lance Dillon
<riffraff169@yahoo.com> wrote:
Just out of curiosity, how does intp() and such work.

Say you have int|float x, then x=5.0.  

Does intp test the type of the variable, or the type of the contents.  Does intp(x) return true because x is of type int (also of type float), or false because the contents of x (currently 5.0) is float, so not an int at that point.

I'm thinking contents, not variable itself, so you can do checks against it.