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 w

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.