The compiler will complain about incorrect types and (?) infer types where possible. "Mixed" types are resolved at runtime.

There is a strict_types mode that will increase warnings/errors.

One of the problems with Pike is that the mechanics of this and other things are effectively undocumented so you have to learn by experimenting and reading the source.