Anonymous
просто синонимы
Anonymous
есть ещё много
Anonymous
tagged union, also called a variant, variant record, discriminated union, disjoint union, or sum type
Vladimir
?
Vladimir
Ясно
Vladimir
Короче приходят всякие из хаскелей и называют массив байтиков по разному
Anonymous
ну раст не исключение
Vladimir
Говорю же, приходят разные из хаскелей
Anonymous
раст это тоже массив байтиков
պլհկ
даже небо
պլհկ
даже аллах
Loo
Vladimir
Зачем нужно абстрактное синтаксическое дерево?
Vladimir
тоже так считаю
Vladimir
а если честно интересно именно зачем нужны эти промежуточные прослойки. Точнее интересна ссылка на формальное описание. Так как сам я интуитивно понимаю, что благодаря многоуровневой системе добивается упрощение реализации (как это не парадоксально)
Marat
AST не нужно, надо на лиспе просто писать
Vladimir
код -> ast -> mir -> llvm -> asm
Vladimir
слишком много уровней
Max
а если честно интересно именно зачем нужны эти промежуточные прослойки. Точнее интересна ссылка на формальное описание. Так как сам я интуитивно понимаю, что благодаря многоуровневой системе добивается упрощение реализации (как это не парадоксально)
Ну, дык в пресс релизе того же mir-а все о нёп описано, от целей до достижений. А AST можно и выкинуть — получим ускоренную кодогенерилку, которая будет однопроходным куском говна уровня паскаля (правда хз как без него лайфтаймы чекать).
Berkus
генерализация этого дела помешает эффективным оптимизациям
Anonymous
разве MIR вообще используется
Berkus
в LLVM IR тоже два уровня как минимум
Маjко
инопланетный?
ну, скажем так, на нём очень легко писать совершенно нечитаемую кашу. А пока у тебя нет скилла — именно такой код ты и будешь писать
Berkus
Anonymous
ну, скажем так, на нём очень легко писать совершенно нечитаемую кашу. А пока у тебя нет скилла — именно такой код ты и будешь писать
никогда не видел нечитаему кашу на расте
Anonymous
кроме одного раза когда я специально это делал
Berkus
кроме руби, на руби ты начинаешь писать нечитаемую кашу когда ПОЛНОСТЬЮ ПОЗНАЛ ЕГО
Alex
Vladimir
Ну и для каких задач подходит MIR лучше чем AST почему это не взаимозаменяемые вещи?
Alex
Anonymous
код -> ast -> mir -> llvm -> asm
здесь разве не нужно ast еще дважды добавить тогда?
Vladimir
здесь разве не нужно ast еще дважды добавить тогда?
я про HIR (AST раста) дальше условно все работает без аст
Anonymous
а
Vladimir
на самом деле можно еще сверху добавить дерево разбора
Vladimir
чтоб вообще было больше уровней
Max
на самом деле можно еще сверху добавить дерево разбора
Дык, почти во всех компилятрах и без этого используются гибриды ast и dst ради сообщений об ошибках.
Vladimir
ну подажи
分解物質
Зачем нужно абстрактное синтаксическое дерево?
чтобы компилятор мог норамально ориентироватся в твоих исходниках, есть однопроходные компиляторы которые без AST, читают что токинизер даёт и сразу генерят код по типу стек-машины. но это совсем неэффективно
Vladimir
дст же существует само собой, а в аст просто добавляют спаны, не?
Маjко
никогда не видел нечитаему кашу на расте
Ой, да ладно.
https://github.com/mersinvald/batch_resolve/blob/2d75b712b85610b6791e649872495e572c091771/src/resolve/resolver.rs#L212-L232
Alex
Anonymous
Маjко
Всё?
Vladimir
Ой, да ладно.
https://github.com/mersinvald/batch_resolve/blob/2d75b712b85610b6791e649872495e572c091771/src/resolve/resolver.rs#L212-L232
+++ начни использовать чай операторы там где не надо и выйдет говно полное
Anonymous
возможно, некрасиво, но, что делает понятно
Маjко
Да ладно, чувак, это мой код и даже я не могу его пропарсить
Маjко
По крайней мере с легкостью
Max
дст же существует само собой, а в аст просто добавляют спаны, не?
Что для тебя дерево разбора? Это же и есть эти самые спаны.
Anonymous
🤔
Anonymous
придерживаюсь своего мнения
分解物質
Anonymous
>я сишник
Anonymous
🤔🤔🤔🤔🤔🤔
Max
кроме руби, на руби ты начинаешь писать нечитаемую кашу когда ПОЛНОСТЬЮ ПОЗНАЛ ЕГО
Это вообще для всех языков справедливо. Чем лучше знаешь — тем более хитрую лапшу пишешь.
Vladimir
Что для тебя дерево разбора? Это же и есть эти самые спаны.
ну поидее в дереве разбора каждая лексема должна быть отображена, т.е. какраз таки "{" как явные ноды дерева, или не?
Anonymous
Ты сишник, у вас свои представления о том что такое читаемый код)
о читаемости кода представления не может быть
Anonymous
лишь о красоте
分解物質
Маjко
Я считаю, что эти понятия взаимосвязаны
Anonymous
мне кажется скорее нет чем да
Маjко
Сорри
Vladimir
х)
Anonymous
возможно..
Маjко
+++ начни использовать чай операторы там где не надо и выйдет говно полное
А что такое чай операторы?
Маjко
Я думал, но не понял)
Vladimir
Красота речь субъективная, а читаемость скорее усредненная красота?
Vladimir
cepo4ka
Маjко
А. Ну там нужно было..