Функция возвращает типизированное значение
Система строгой типизации кода проверяет что каждая функция возвращает типизированное значение
Неправильно
Правильно
См.