Здравствуйте, ·, Вы писали:

νsb>> assert(f(3) == 6);
·>А что если я в тест добавлю
·>assert(f("hello") != "world");
·>Что произойдёт?

При выполнении f вылетит ошибка, что нельзя сравнивать строку и число ("hello" == 0). Примерно как в луа. Тест не пройдёт.

Если функция написана так, что этот код работает, значит добавится строковый тип в параметры (и, вероятно, строковый тип в возвращаемое значение).