Исходное сообщение
"Новая криптографическая библиотека EverCrypt с математически..." Отправлено Аноним84701, 08-Апр-19 21:56
> Ты молодец. Открыл нужную книгу, выделил слово translate, но вывод сделал неверный. > Компилятор не является частным случаем или разновидностью транслятора. > Компиляция вообще с трансляцией не связана, это разные процессы. > Транслятор является подпрограммой компилятора. > Если выкинуть транслятор из компилятора, Еще раз - "translator" в _этом_ варианте англоязычной терминологии  вообще как-то специально не выделяется (кроме процесса "translation"). А еще есть такое понимание: https://www.microcontrollertips.com/compilers-translators-in.../ > Translators > The most general term for a software code converting tool is “translator.” >  A translator, in software programming terms, is a generic term that could refer to a compiler, assembler, or interpreter; Короче, мне далее срат^W обсуждать тонкости различия терминологии в  переводе не интересно -- изначально речь шла о формулировках в #14-#21 >> На основании эталонного кода на языке F* затем генерируется код на ассемблере, Си, OCaml, JavaScript и Web Assembly. > О скопмилированном коде тут речь не идет. Поэтому не путайте. Скомпилированный исходный код под той же лицензией, что и сам исходный код. Т.е. именно в этом контексте различать "translator" и утверждать "translation != compilation" (точнее, заявлять что генерация кода != компиляция поэтому не считается) … не, конечно можно, но смысл, если из контекста документации и описания понятно, что авторы придерживаются другой терминологии и вряд ли комментарии на опеннете ее изменят?