Термин для кода, который имеет строгий интерфейс, но слабо типизирован

Есть ли термин или фраза, которая описывает код, который строго о
типы, в том смысле, что ни один метод не возвращает несколько типов и нет
параметр принимает несколько типов,

Да, это называется «безопасность типов». Я полагаю, что вы можете принимать массивы и возвращать массивы на разных языках, чтобы избежать этого.

но написано на слабо типизированном языке, таком как PHP?

Не то, что я могу придумать. В слабо типизированном языке, таком как php, вы все равно можете заставить объекты, массивы и обратные вызовы.

Теперь, чтобы эмулировать безопасность типов в php, вы можете сделать что-то похожее на это:

function myFunction( $param1, $param2 ) {
if( (is_string( $param1 )) && (is_string( $param2 )) ) {
// do something
} else {
// throw error or custom string exception
}
}