Пользователь
The CoC is strongly normalizing
although, by Gödel's incompleteness theorem, it is impossible to prove this property within the CoC since it implies inconsistency.
даёт автоматические проверки доказательств теорем
Спасибо
Подскажите материалы по данному поводу?
Жаль
И опять же.
Вы так топите за ручную проверку кода людьми и при етом не допускаете, что тесты также можно просмотреть и оценить?
Странно, странно
А самые дорогостоящие разработчики еще и будут заниматься ручным тестирование чужого кода?
Я наконец-то понял вашу позицию
Кроме того с их точки зрения они уже имеют представительство в данной языковой группе и выделять еще ресурсы без аудита ситуации странно
Конкретнее пожалуйста
Тогда и хаскель никак вам не помогает или вы запутались?
Конкретнее
Люди допускают ошибки
На что полагаться?
Тесты пишутся перед изменением функционала
По сути наш разговор свелся к тому, что, по вашим словам, стабильную разработку на ЯП кроме особенных вести нельзя.
И как бы мне не хотелось все писать на кложуре, пока не получается
И нет
Емпирика также никого не интересует в расчетах, где есть деньги
Я уже не говорю про то, что трудозатраты посчитать крайне сложно
И вернемся к основному вопросу
Как делать частичный рефакторинг, когда у вас есть только функциональные тесты?
Кстати про математику — что там с автоматическим доказательством теорем?
Так как проверить корректность его работы?