История изменений
Исправление AndreyKl, (текущая версия) :
Вот есть функция. Код корректен, но система типов убедиться в этом не даёт. Переписываем функцию с дополнительным параметром просто для ублажения компилятора?
Тут есть ещё такой момент... Ты клянешься что код корректен?
Эти ухищрения во всей их полноте нужны когда клятвы не достаточно. И не достаточно даже того что писал ну очень авторитетный программист. И даже если всё тесты проходит и год работало нормально - всё равно не достаточно.
Если прям таких требований нет, частью ухищрений можно пожертвовать.
В смысле я тоже могу поклясться что алгоритм тот же, хоть ты и утверждаешь что другой.
Но алгоритмы всё таки придётся адаптировать. Просто из с++ взять не выйдет.
Исправление AndreyKl, :
Вот есть функция. Код корректен, но система типов убедиться в этом не даёт. Переписываем функцию с дополнительным параметром просто для ублажения компилятора?
Тут есть ещё такой момент... Ты клянешься что код корректен?
Эти ухищрения во всей их полноте нужны когда клятвы не достаточно. И не достаточно даже того что писал ну очень авторитетный программист. И даже если всё тесты проходит и год работало нормально - всё равно не достаточно.
Если прям таких требований нет, частью ухищрений можно пожертвовать. Но алгоритмы придётся адаптировать. Просто из с++ взять не выйдет.
Исправление AndreyKl, :
Вот есть функция. Код корректен, но система типов убедиться в этом не даёт. Переписываем функцию с дополнительным параметром просто для ублажения компилятора?
Тут есть ещё такой момент... Ты клянешься что код корректен?
Исходная версия AndreyKl, :
Вот есть функция. Код корректен, но система типов убедиться в этом не даёт. Переписываем функцию с дополнительным параметром просто для ублажения компилятора?
Тут есть ещё такой момент. Ты клянешься что код корректен?