1.1, Аноним (1), 09:19, 28/01/2022 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
> в Rust нет goto, в отличие от С
При адекватной технике кодирования можно считать, что в C тоже нет goto.
| |
|
2.2, Ононимус (?), 09:26, 28/01/2022 [^] [^^] [^^^] [ответить]
| +11 +/– |
В умелых руках, goto безареден. Да и сшенерированный код прежде всего должен работать, а не быть суперчитаемым
| |
|
3.3, myhand (ok), 09:33, 28/01/2022 [^] [^^] [^^^] [ответить]
| +4 +/– |
> Да и сшенерированный код прежде всего должен работать, а не быть суперчитаемым
Это тебе до первого использования отладчика так кажется...
| |
|
4.27, Аноним (27), 12:33, 28/01/2022 [^] [^^] [^^^] [ответить]
| +2 +/– |
> Это тебе до первого использования отладчика так кажется...
при "цивилизованной" отладке по коду его читаемость тебе мало поможет.
а при отладке по ассемблерным листингам она вообще никакого значения не имеет.
читаемость нужна только для эффективного освоения логики программы.
потому что освоение проводится глазами.
поэтому, если логика кода сгенерированного анализатора тебе уже знакома, сниженная читаемость будет не особо важна.
| |
|
5.46, myhand (ok), 05:59, 29/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Для отладки "освоения логики программы" нинада. Панятна.
Спасибо, что объяснил.
| |
|
|
3.7, Аноним (-), 09:49, 28/01/2022 [^] [^^] [^^^] [ответить]
| –9 +/– |
В умелых руках goto, как правило, не нужен. Аккуратный структурный код, как правило, не требует goto. Если вы применяете goto, значит скорее всего вы говнокодер. Оператор goto применяется 1 раз в тысячу лет.
| |
|
|
5.12, Аноним (-), 09:54, 28/01/2022 [^] [^^] [^^^] [ответить]
| –1 +/– |
>Ты еще скажи в ассемблере jmp aka goto не нужен.
Нет. Не скажу, потому-что ассемблер мнемонический язык низкого уровня, где 1 мнемоника соотвествует машинной команде. А в языках высокого уровня прыжок-Jump можно реализовать и без оператора goto.
| |
|
6.15, Анониим (?), 10:10, 28/01/2022 [^] [^^] [^^^] [ответить]
| –1 +/– |
Ты забыл упомянуть что можно реализовать при помощи оверхеда в том числе оверхеда на «безопасность». Тогда да.
| |
|
7.42, Аноним (-), 19:42, 28/01/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Ты забыл упомянуть что можно реализовать при помощи оверхеда в том числе оверхеда на «безопасность». Тогда да.
Ты забыл еще раз, ни к селу ни к городу, приплести ассемблер.
Расскажи поподробнее за оверхед gccшного cleanup аттрибута (сарказм). Он все верно сказал, языковые фичи с 0 оверхедом для этого давно есть - scope guards в D, defer в Zig и т.д. Компилятор сгенерирует точно такие же прыжкы по адресам, как и в "ручном режиме" с goto, только вот читаться оно будет куда лучше, а заделать очередной "goto fail" будет сложнее.
| |
|
|
|
4.30, Crazy Alex (ok), 13:51, 28/01/2022 [^] [^^] [^^^] [ответить]
| +8 +/– |
Это если бы в си были исключения с блоками finally или деструкторы. А так - последовательный клинап в конце функции с несколькими метками и выходы через goto в нужные точки - самый чистый вариант, который я с си видел.
| |
|
5.33, Аноним (-), 14:00, 28/01/2022 [^] [^^] [^^^] [ответить]
| –3 +/– |
>то если бы в си были исключения с блоками finally или деструкторы.
Не дай бог. Убъёте дух сишки. Высокоуровневые сахара сишке не нужны.
| |
|
4.35, Ordu (ok), 14:24, 28/01/2022 [^] [^^] [^^^] [ответить]
| +6 +/– |
> Если вы применяете goto, значит скорее всего вы говнокодер. Оператор goto применяется 1 раз в тысячу лет.
Ядро linux с тобой не согласно. Там goto используется в хвост и в гриву, например, как замена RAII: чтобы подчищать ресурсы при аварийном выходе из функции. Необходимость завершиться с ошибкой может быть детектирована в любой момент, и структурно следить за тем, чтобы освободить те ресурсы, которые были уже выделены и не освобождать те ресурсы, которые ещё не были -- это жуть. Груды дублирования кода, рантайм проверок типа if(ptr) free(ptr); и в целом код превращается в болото, в котором любой неосторожный шаг приведёт либо к use-after-free, либо к memleak, либо к double-free, либо ещё к чему-нибудь поэкзотичнее.
Когда же у тебя в конце функции что-то типа:
...
return SUCCESS;
cleanup1:
free(ptr);
cleanup2:
close(fd);
cleanup3:
do_something_else();
return FAILURE;
А внутри:
fd = open(...);
if(fd < 0) {
goto cleanup3;
}
ptr = malloc(...);
if(ptr == NULL) {
goto cleanup2;
}
if(something_else_went_bad()) {
goto cleanup1;
}
то всё видно, _структурированно_, няшно и управляемо. Ещё и коды ошибок можно прокидывать туда через переменную int ret, объявленную в начале функции.
| |
|
5.47, Аноним (-), 09:47, 29/01/2022 [^] [^^] [^^^] [ответить]
| –2 +/– |
Тонко потроллить решил? Хорошо, отвественным ядрописателям goto разрешаю. Остальным говнокодерам не советую.
| |
|
6.49, Ordu (ok), 11:15, 29/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
> Тонко потроллить решил? Хорошо, отвественным ядрописателям goto разрешаю. Остальным говнокодерам
> не советую.
А я советую любому открыть сорцы ядра и почитать. Учиться писать код надо ориентируясь на самые крутые образцы, а не на тот отстой, который пишут в учебниках.
| |
|
|
4.45, Анончик (?), 23:51, 28/01/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
Я правильно понимаю что goto: 6,069 code results in freebsd/freebsd-src
Указывает на то что разработчики фряхи те еще гавнокодеры?
| |
|
3.13, Аноним (-), 09:56, 28/01/2022 [^] [^^] [^^^] [ответить]
| +2 +/– |
Код должен быть прежде всего читабельным, и желательно суперөчитабельным. Это одно из основных правил программирования.
| |
|
4.16, Анониим (?), 10:12, 28/01/2022 [^] [^^] [^^^] [ответить]
| +2 +/– |
Goto отлично ложится на концепцию блок схем. Итого для кодогенерации отличное решение.
| |
|
5.20, Аноним (-), 11:00, 28/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
В теории всё хорошо. В эпоху расцвета процедурных языков 1960-80 гг., на практике, подавляющая часть программистов использовала опреатор goto как попало, и в те времена читать исходники было больно. Поэтому программисты тех времён - Вирт, Дейкстра, Хоар имеют стойкую неприязнь к goto.
>Итого для кодогенерации отличное решение.
Нет, на практике goto плохое решение.
| |
|
4.61, wyry (?), 03:30, 31/01/2022 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Код должен быть прежде всего читабельным, и желательно суперөчитабельным. Это одно
> из основных правил программирования.
Ага, и поэтому все придумали кучу инструментов, чтобы этот код усложнить). Любой современный мейнстримный проект - тонны классов во множестве файлов, при этом все хитрым образом между собой связаны сообщениями, коллбеками, объекты в одной структуре данных будет "безопасно" создаваться в другом классе, ч-читабельность))). Мне всерьёз в 2022 проще читать проекты на C, чем проекты на Java, хотя ВОЗМОЖНО (только возможно), проекты на Java проще в итоге использовать при разработке нового ПО. В современном мире, честное слово, проще распутать goto, чем весь клубок из вызовов.
| |
|
5.63, Урри (ok), 12:53, 02/02/2022 [^] [^^] [^^^] [ответить]
| +/– |
Просто работающие проекты на С могут писать только осиляторы-профессионалы, а на джаве все кому не лень. Тут вот раст еще подъехал, так теперь (судя по комментариях на опеннете) кодить могут даже те, кто с одной извилиной. С соответствующей читабельностью, само собой.
| |
|
6.64, wyry (?), 13:01, 02/02/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
> Просто работающие проекты на С могут писать только осиляторы-профессионалы, а на джаве
> все кому не лень. Тут вот раст еще подъехал, так теперь
> (судя по комментариях на опеннете) кодить могут даже те, кто с
> одной извилиной. С соответствующей читабельностью, само собой.
Так в том и дело, что не все. На Java по крайней мере простые вещи делаются просто, чего нельзя сказать про Rust. +Java никто не отличалась "новомодностью", даже наоборот - это слишком консервативный инструмент, который развивается медленно и с сохранением обратной совместимости.
Rust - это язык, в котором простые вещи делаются сложно, а иногда и неочевидно (всё ради реализации "безопасной работы памяти без GC", результаты такие, что лучше бы они сделали GC...
| |
|
|
|
3.26, Умпа (?), 12:27, 28/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Прежде всего, должен быть суперчитаемым.
Когда тебя вытурят взашей, твоя замена должна моментально твой код освоить.
| |
|
|
3.48, Аноним (48), 10:48, 29/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Встречалось применение goto в проектах на С только (!) в случаях, если алгоритмы были переведены (как правило, автоматически) с Фортрана. Это было вызвано нехваткой времени и специалистов на нормальное переписывание алгоритмов.
| |
|
|
5.53, Аноним (48), 16:04, 29/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Посмотрел. Не могу одобрить вход в конструкцию помимо заголовка. Это некрасиво, а значит - противно С. С - прежде всего эстетика.
| |
5.55, Аноним (48), 09:12, 30/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Код ужасен. Авторы хоть один учебник по программированию видели?
| |
|
6.62, wyry (?), 03:35, 31/01/2022 [^] [^^] [^^^] [ответить]
| –1 +/– |
> Код ужасен. Авторы хоть один учебник по программированию видели?
Кстати в большинстве "учебников" код либо простой и неэффективный (что ещё в принципе нормально и так и должно быть поначалу), либо НА САМОМ ДЕЛЕ уродливый. Более эффективные конструкции, на основе указателей, их арифметике и взаимодействий скорее придётся изучать самостоятельно. При этом практически в любой библиотеке или ПО, где требуется прямая работа с памятью, необходимо, всё это знать. Rust'оманам не понять, у них "безопасные утечки".
| |
|
|
|
|
2.51, Аноним (-), 12:26, 29/01/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
Вы, похоже, писали всю жизнь на JS или расте, если не в курсе про то, что работа с ресурсами адекватнее всего делается именно на goto.
| |
|
3.54, Аноним (48), 16:07, 29/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Не правы. Когда я начинал с С, упомянутые Вами еще не были изобретены.
| |
|
|
|
2.17, Аноним (17), 10:15, 28/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Лексер можно, парсер придется писать или генерить чем-то другим
| |
|
3.21, Аноним (4), 11:00, 28/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Спасибо. Думаю, посмотрю на проект, т.к. рагель в стагнации, а эта штука развивается.
| |
|
4.25, Аноним (9), 12:25, 28/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
Если что тесты от производителя всегда дутое фуфло. Надо или смотреть «независимых» оценщиков или делать тесты самому на своих задачах.
| |
|
|
|
1.5, Аноним (5), 09:46, 28/01/2022 [ответить] [﹢﹢﹢] [ · · · ]
| –1 +/– |
Топикстартер, ты не можешь на ЛОР заглянуть? Там твою новость ошибочно удалили, приняв за копипасту с опеннета, сильно извиняются и просят пойти навстречу.
| |
|
2.8, Аноним (9), 09:49, 28/01/2022 [^] [^^] [^^^] [ответить]
| +6 +/– |
Никогда нельзя идти на встречу дуракам. Это провоцирует дураков оставаться дураками.
| |
2.14, Аноним (-), 10:01, 28/01/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
Так на ЛОРе исторически копировали новости с опеннета. Сейчас, что не так?
| |
|
1.23, самокатофил (?), 11:47, 28/01/2022 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
>The new approach is different enough to require multiple changes in code generation. In loop-switch mode it is impossible to jump into the middle of a state bypassing the skip statement, so the --eager-skip option is enforced, which moves skip statements to transitions. With conditions it is impossible to jump between different blocks, so DFAs for all conditions are merged into one switch, and condition numbers are the indices of the initial DFA states. In storable state mode it is impossible to jump from the YYGETSTATE switch to a DFA state, therefore a separate getstate:re2c detached from the lexer block is not supported.
Ох лол, внесли новых багов в кодогенератор, а плюсов никаких, одни ограничения. При этотм, мамкины растаманы рассуждают как вреден goto. :-D
| |
|
2.36, Ordu (ok), 14:31, 28/01/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
Это не растоманы внесли. У растоманов есть rust-peg, есть pest, есть nom... зачем нам нужен re2c, перемешивающий декларации грамматики с кодом, который работает с грамматикой? Да ещё и не средствами языка, а комментами?
Этот re2c -- классическая работа сишников, просто на этот раз они поработали с rust'ом.
| |
|
3.37, самокатофил (?), 15:03, 28/01/2022 [^] [^^] [^^^] [ответить]
| +2 +/– |
> Это не растоманы внесли.
уболтали авторов а сами в закат? :)
> У растоманов есть rust-peg, есть pest, есть nom...
> зачем нам нужен re2c, перемешивающий декларации грамматики с кодом, который работает
> с грамматикой? Да ещё и не средствами языка, а комментами?
Для spamassassin'a, пыха, ну и т.д. и т.п. Для работы кароч. Растаманам не понять. ;)
| |
|
4.39, Ordu (ok), 15:27, 28/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
> уболтали авторов а сами в закат? :)
Возможно. Эдакий троллинг RiiR'ом.
> Для работы кароч. Растаманам не понять. ;)
Да, я знаю. Даже не пытаюсь понимать, последнее время.
| |
|
|
2.38, skvadrik (ok), 15:08, 28/01/2022 [^] [^^] [^^^] [ответить]
| +1 +/– |
За старый кодогенератор можно не переживать, он как был так и остался (включен по умолчанию для C, С++ и Go). Просто есть новая опция теперь.
| |
|
|
2.41, skvadrik (ok), 19:19, 28/01/2022 [^] [^^] [^^^] [ответить]
| +/– |
По умолчанию только операция чтения символа подразумевает unsafe, поскольку ей надо отключать проверку на выход за границы (лексер эти проверки делает сам и более эффективным способом). Но это необязательно, можно отключить опцией '--no-unsafe' или конфигурацией 're2c:unsafe' и будет всё safe. Можно и наоборот, другие базовые операции обернуть в unsafe.
| |
|
1.57, adolfus (ok), 00:51, 31/01/2022 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
"конечный автомат представлен в виде цикла и переменной-состояния"
Полный абсурд.
Вот почему я люто ненавижу Вирта -- эта сволочь сагитировала стадо мудаков не только против множественных точек входа в процедуры и безусловных переходов, но и против сопрограмм.
Тут налицо техническое противоречие -- если использовать entry, вычисляемые переходы, goto, coroutines, требования к навыкам программиста и время разработки сильно возрастают, что для бизнеса плохо, зато возрастают производительность и прочая эффективность программ, что хорошо для пользователей. И наоборот.
Такого рода противоречия решаются бескомпромисно -- выбирается одна сторона (основная) и абсолютизируется. Другая сторона, вторичная, представляет проблему и ее решают, не сдвигая рамок основной. Вирт это стопроцентно знал, как инженер, и выбрал ту сторону, которую выбрал. Ему, как преподавателю университета, это нужно было, чтобы за полгода "научить студентов программированию".
В результате, чем быстрее процессоры, тем программы работают медленней, чем у системы больше памяти, тем больше ее программам не хватает. Зато программистов развелось, как собак не резанных. Ну и бобики периодически падают. Завтра все вообще начнет ломаться и портиться -- в автокад питон завезли на замену автолиспа, чтобы студентов вместо конструкторов на работу брать.
| |
|
|
3.66, adolfus (ok), 22:42, 02/02/2022 [^] [^^] [^^^] [ответить] | +/– | Программы написанные на этом скобочном говне обладают математически доказуемыми... большой текст свёрнут, показать | |
|
|
1.58, Аноним (58), 01:55, 31/01/2022 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
> Rust ... конечный автомат представлен в виде цикла и переменной-состояния
Какое убожество...
| |
1.59, Аноним (60), 02:35, 31/01/2022 [ответить] [﹢﹢﹢] [ · · · ]
| +/– |
Какое же дерьмо этот re2c... Ни AST не строит, ни грамматику нормально не представляет.
| |
|