K
Походу мои вкусы весьма специфичны
Size: a a a
2021 January 01
VK
В смысле, кроме Фейсбука и ещё пары тысяч энтузиастов вроде Вас? 😉
Популярность reasonml внутри фейсбука сильно преувеличена:-)
AT
Потому, что синтаксис окамла совершенно отвратителен?
AT
Популярность reasonml внутри фейсбука сильно преувеличена:-)
Как минимум свой чат они на него всё-таки переписали. 🤷♀️
A
Первый компилятор раста был написан на окамле, потом раст сам себя умел
Компилятор раста на расте? Я почему то думал там ллвм
PS
Компилятор раста на расте? Я почему то думал там ллвм
Фронт на расте, а потом ллвм. Но они свой мидл-бэк пилят, кранлифт называется
PS
Есть компилятор раста на плюсах но без борроу-чеккера
AT
Pavel Samolysov
Фронт на расте, а потом ллвм. Но они свой мидл-бэк пилят, кранлифт называется
Скорее, фронт и миддл на расте, потому что там в середине MIR и miri, и только бэк — LLVM.
Cranelift — бэк на Rust.
Cranelift — бэк на Rust.
AT
Хотя граница, где миддл переходит в бэк жёстко никем не задана, и для LLVM и Cranelift явно находится в разных местах.
PS
Скорее, фронт и миддл на расте, потому что там в середине MIR и miri, и только бэк — LLVM.
Cranelift — бэк на Rust.
Cranelift — бэк на Rust.
Я под мидлом понимаю независимые от таргетов оптимизации внутри llvm на уровне его ir. Во фронте сейчас модно писать ещё один слой IR, но этот слой зависит от языка и поэтому он часть фронта все же.
AT
Pavel Samolysov
Я под мидлом понимаю независимые от таргетов оптимизации внутри llvm на уровне его ir. Во фронте сейчас модно писать ещё один слой IR, но этот слой зависит от языка и поэтому он часть фронта все же.
Я подозреваю, rustc тоже проводит независимые от таргета оптимизации на уровне своего MIR. Кроме того, вроде бы, семантические проверки (типов, borrowing и прочая мелочёвка) относят к миддл-энд.
PS
Семантические проверки — это, все-таки, передний план.
DF
Не ожидал, что такой говносрач разведу
PS
Не обольщайтесь. Просто этот чат регулярно превращается в "горький катаклизм" (в котором, кстати, и модераторы принимают участие!), стоит только очередному возмутителю спокойствия вбросить что-то неуместное про "раст" %)
DF
А чем раст загубил душу?
PS
Напоминаю о существовании https://t.me/LanguageDev
Как раз специально для всех ваших очень важных разговоров про Rust.
Не забывайте, что от вас самих зависит, получите ли ответ в этом чате от немногих присутствующих профессионалов-компиляторщиков. Или же к моменту, когда вопрос по теме назреет, вы их всех распугаете, отводя здесь душу.
Как раз специально для всех ваших очень важных разговоров про Rust.
Не забывайте, что от вас самих зависит, получите ли ответ в этом чате от немногих присутствующих профессионалов-компиляторщиков. Или же к моменту, когда вопрос по теме назреет, вы их всех распугаете, отводя здесь душу.
DF
@true_grue спасибо, но неинтересно
M
Pavel Samolysov
Фронт на расте, а потом ллвм. Но они свой мидл-бэк пилят, кранлифт называется
Нет, кранлифт это альтернативный бэк и используется вместо LLVM для debug сборок. мидл IR у Rust это MIR:
https://godbolt.org/z/zqv9hq
https://godbolt.org/z/zqv9hq
M
Я подозреваю, rustc тоже проводит независимые от таргета оптимизации на уровне своего MIR. Кроме того, вроде бы, семантические проверки (типов, borrowing и прочая мелочёвка) относят к миддл-энд.
да. Вообще ключевая особенность всех middle end представлений в том, что они максимально близки к семантике самого языка, но при этом выражают и низкоуровневые сущности в абтрактом вида вплоть даже до слотов и стек-фрейма (но не обязательно конечно). Вторая особенность - это статический анализ с обратной связью с семантическим чекером
AT
Не обольщайтесь. Просто этот чат регулярно превращается в "горький катаклизм" (в котором, кстати, и модераторы принимают участие!), стоит только очередному возмутителю спокойствия вбросить что-то неуместное про "раст" %)
Не катаклизм, а катаморфизм! 😂