It’s a choice left up to developer but you can have static and runtime type checking enabled for as many functions as you desire. Theoretically you can have collection subtype checking but I’d say that PHP is still quite frail here as proper collection typing lacks any template-style typing but needs dedicated collection types.