Looks like there’s a `mixed` type, variables of which can hold values of any type. But at least that’s something you can `grep` for.
A more subtle issue with type hints (as in TypeScript/Python, not sure if this applies to Pike) is that there are ways to work around the type system. You can get, for example, a variable of type `int` that actually holds a `list`: