> А, тебе не приходилось переписывать код?Милое дело!
> руками ли ты переписываешь или автоматически
Тут я не копенгаген по части практической, но теоретически - машинная трансляция
по заданным правилам как раз позволяет избежать необходимости ручной выверки кода.
> Автоматическая конвертация избавляет тебя от собственно переписывания кода.
Хороший вопрос - насколько...
> Тебе точно так же надо будет писать тесты
Не понял, а что мешает сконвертировать тесты? Ну если они не на том же языке пишутся - так
не по олбански-же?
> При автоматической трансляции, я полагаю, будет больше сфейлившихся тестов, и поэтому исправление багов трансляции займёт больше времени.
У тебя какое-то болезненное чувство к наборам тестов. Это полезно для выявления каких-то
тривиальных вещей, для уверенности что каждый кусок кода хоть где-то - отработал.
Но - не более.
> Вот эти человекочасы вычитаются,
> из процесса транскомпилем, и добавляются дополнительные человекочасы на большее количество
> сфейлившихся тестов.
Я опасаюсь что из этого, для начала, ты не вычел время на чтение и понимание трансконпилировавшегося (или нет) текста... Читать машинное творчество непросто, да.
> Переписывание -- это тупая рутина
Не совсем. Разные языки - разные стили программирования. Т.е. если даже в рамках
одного языка - это задача, то различие языков просто вынуждает к рефакторингу.
> Ну, эмм... я не знаю, если честно, но я бы не полагался
> на отсутствие логических ошибок.
Про это я писал. Как тебе трансляция одной логической ошибки - в две? Или в 10?
Вот поэтому мне и кажется это бесперспективным. В отличие от задач, где легко
можно проверить результат, но сложно его получить обычными алгоритмами.
> Во-вторых, синтаксические ошибки -- это туфта.
Да, но если человеческое время надо тратить даже на такую туфту - тушите свет.
> Но как бы там не было, нельзя полагался на результат переписывания, каким
> бы образом он бы не был получен -- ручным переписыванием, rule-based
> транскомпиль, нейросетка... какая разница?
Разница есть. rule-based - дает определенные гарантии о поведении результата.