M
Там, где суперкомпилятор вообще ничего никуда не компилирует? 😂
Это спорно
Size: a a a
2021 January 03
AT
Специализатор принимает ещё доп данные
Специализатор /= суперкомпилятор. Это разные концепции.
M
Это же все rewriting rules
M
Специализатор /= суперкомпилятор. Это разные концепции.
?
AT
Это же все rewriting rules
Когда в руках молоток... 🤷♀️
M
Почему?
AT
Wikipedia. Если Турчина читать неохота.
АП
Суперкомпиляция на том же языке
я не видел материалов отрицающих возможность выполнять суперкомпиляцию в другой язык
M
Дак вопрос не в возможности а в конотации
M
Просто зачем тогда вообще все эти термины, взять какую алгебру да и правда все есть гвозди
M
Wikipedia. Если Турчина читать неохота.
АП
Wikipedia. Если Турчина читать неохота.
а что вы думаете о суперкомпиляции в другой язык?
M
Глава 6, суперкомпилятор есть специализатор
AT
Глава 6, суперкомпилятор есть специализатор
> Суперкомпиляция является методом, который может применяться для решения различных задач. Одной из таких задач является специализация программ.
Вы когда начнёте читать дальше заголовков?
Вы когда начнёте читать дальше заголовков?
AT
Глава 6, суперкомпилятор есть специализатор
Впрочем, я не понимаю даже как "6 Суперкомпиляция как метод специализации программ" можно прочитать в виде "Глава 6, суперкомпилятор есть специализатор". 🤷♀️
AT
Антон Пилипчук
а что вы думаете о суперкомпиляции в другой язык?
Что для этого суперкомпиляция не нужна.
Rn
Нет, кранлифт это альтернативный бэк и используется вместо LLVM для debug сборок. мидл IR у Rust это MIR:
https://godbolt.org/z/zqv9hq
https://godbolt.org/z/zqv9hq
Нет, rustc по отношению к llvm - это часть фронта. Какая там терминология используется у фронта и сколько там этих разделений - никого не интересует. Никаким "альтернативным беком" никакой кранлифт являться не может. Это попытка переписать. От llvm уйти нельзя - всё завязана на его внутреннюю семнатику. На ту же модель памяти, многопоточности, исключений и прочее.
История с debug появилась тогда, когда попытка не увенчалась успехом. Поэтому начали искать, задним числом, объяснения. Тогда и родился какой-то debug, потому как основное сделать не удалось.
История с debug появилась тогда, когда попытка не увенчалась успехом. Поэтому начали искать, задним числом, объяснения. Тогда и родился какой-то debug, потому как основное сделать не удалось.
AT
Нет, rustc по отношению к llvm - это часть фронта. Какая там терминология используется у фронта и сколько там этих разделений - никого не интересует. Никаким "альтернативным беком" никакой кранлифт являться не может. Это попытка переписать. От llvm уйти нельзя - всё завязана на его внутреннюю семнатику. На ту же модель памяти, многопоточности, исключений и прочее.
История с debug появилась тогда, когда попытка не увенчалась успехом. Поэтому начали искать, задним числом, объяснения. Тогда и родился какой-то debug, потому как основное сделать не удалось.
История с debug появилась тогда, когда попытка не увенчалась успехом. Поэтому начали искать, задним числом, объяснения. Тогда и родился какой-то debug, потому как основное сделать не удалось.
Т.е. Вы не в курсе, что Cranelift почти исключительно используется для компиляции Wasm в натив в Wasmtime и Lucet, а back-end для Rust -- постольку поскольку?
M
Нет, rustc по отношению к llvm - это часть фронта. Какая там терминология используется у фронта и сколько там этих разделений - никого не интересует. Никаким "альтернативным беком" никакой кранлифт являться не может. Это попытка переписать. От llvm уйти нельзя - всё завязана на его внутреннюю семнатику. На ту же модель памяти, многопоточности, исключений и прочее.
История с debug появилась тогда, когда попытка не увенчалась успехом. Поэтому начали искать, задним числом, объяснения. Тогда и родился какой-то debug, потому как основное сделать не удалось.
История с debug появилась тогда, когда попытка не увенчалась успехом. Поэтому начали искать, задним числом, объяснения. Тогда и родился какой-то debug, потому как основное сделать не удалось.
То есть cranelift это не бекенд аналогичный LLVM? Или что? Вообще овет звучал как отрицание того, что cranelift это middleend. А этот ваш комментарий я не очень понимаю. Что вы пытаетесь оспорить или дополнить?
Rn
Т.е. Вы не в курсе, что Cranelift почти исключительно используется для компиляции Wasm в натив в Wasmtime и Lucet, а back-end для Rust -- постольку поскольку?
Это ничего не меняет. Никому wasm как таковой ненужен, поэтому пошли туда, где нету конкуренции и нету вопросов. Это всё так же находится в рамках моей логики. К тому же, про какой-то "бек для раста" говорил не я.
И да, он стал им задним числом.
И да, он стал им задним числом.