История изменений

Если результат программы соответствует тому расчёту, который бухгалтер продемонстрировал на листочке или в Excel, то он обычно прав.

Вообще не факт. В бухгалтерии легко могут забыть учесть выслугу лет,или коэффициент какой-нибудь индивидуальный типа «надбавки за классность»,о которой отдел кадров знает,а бухам сообщить забыли. Любые так сказать «индивидуальные особенности» начисления. И чтобы убедить бухов пересчитать - придется знать как это должно считаться и какие законы ткнуть их носом. Сейчас вот возникает много вопросов у военных за участие в том что нельзя называть.

собеседник утверждал, что любой результат функции верен, если он правильного типа.

С точки зрения программы - да,верен. Потому что для нее результат функции это просто биты в регистрах. Если сочетание этих битов корректно приводится к указанному типу то оно верное. На всякий случай напомню что может и не приводиться - например всякие там NaN или взведенный бит знака там где число предполагается положительным. А вот что будет означать полученное число - это уже забота человека-программиста. Например в Аде он может задать допустимый диапазон -1..1 для синуса и по выходе из функции он будет проверен. Хотя конечно если вместо синуса там будет косинус то это не поможет. Это уже ошибка более высокого уровня,алгоритмическая,которую может выловить только ИИ,а хороший ИИ пока что далеко не бесплатный и из России труднодоступный.

Если результат программы соответствует тому расчёту, который бухгалтер продемонстрировал на листочке или в Excel, то он обычно прав.

Вообще не факт. В бухгалтерии легко могут забыть учесть выслугу лет,или коэффициент какой-нибудь индивидуальный типа «надбавки за классность»,о которой отдел кадров знает,а бухам сообщить забыли. Любые так сказать «индивидуальные особенности» начисления. И чтобы убедить бухов пересчитать - придется знать как это должно считаться и какие законы ткнуть их носом. Сейчас вот возникает много вопросов у военных за участие в том что нельзя называть.

собеседник утверждал, что любой результат функции верен, если он правильного типа.

С точки зрения программы - да,верен. Потому что для нее результат функции это просто биты в регистрах. Если сочетание этих битов корректно приводится к указанному типу то оно верное. На всякий случай напомню что может и не приводиться - например всякие там NaN или взведенный бит знака там где число предполагается положительным. А вот что будет означать полученное число - это уже забота человека-программиста. Например в Аде он может задать допустимый диапазон -1..1 для синуса и по выходе из функции он будет проверен. Хотя конечно если вместо синуса там будет косинус то это не поможет. Это уже ошибка более высокого уровня,алгоритмическая,которую может выловить только ИИ,а хороший ИИ пока что далеко не бесплатный и из России труднодоступный.

А какими они должны быть и что означать - решает человек-программист.