кстати да, теоретически, можно ввести управление строгостью типизации, какой нибудьСобственно проблемы с типизацией нет, если её включить вместе с Spl Type. Примитивные типы приводятся, а там где нужна строгая типизация юзаем Spl
PHP:
function foobar( strict int $i, bool $b);