Проверка типов - это то, что вы должны делать на стадии разработки, а не на производстве.Таким образом, подходящая синтаксическая особенность для этого будет:
function xyz($a, $b) {
assert(is_array($a));
assert(is_scalar($b));
Однако я постараюсь избежать этого или лучше использовать приведение типов.Динамически типизированный PHP довольно хорошо адаптируется к различным значениям.Есть только несколько мест, где вы хотите изменить базовое поведение языка.