В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

1006 membersпожаловаться на группу
2021 February 19

YS

Yaroslav Schekin in Compiler Development
MrSmith
И оно не едет для ambiguous, после этого охладил мечты типа статей марпы и трата
Так в этом-то и смысл, нет? Ambiguous грамматика "не едет" сама по себе — её нужно исправлять (и радоваться, что на это указал parser, а не "благодарные" пользователи после какого-то времени использования языка).
источник
14:33пожаловаться#1

M

MrSmith in Compiler Development
Нет конечно
источник
14:33пожаловаться#2

M

MrSmith in Compiler Development
Весь смысл в том что бы оно ехало
источник
14:33пожаловаться#3

YS

Yaroslav Schekin in Compiler Development
MrSmith
Весь смысл в том что бы оно ехало
Эээ... и какой тут смысл?
источник
14:34пожаловаться#4

M

MrSmith in Compiler Development
Смысл в том что почти никому не интересны unambigouse в прикладном софте
источник
14:34пожаловаться#5

M

MrSmith in Compiler Development
В реальности почти любой парсер генератор создается как раз для разбора Ambiguous, вопрос в том положили в коробку или нет статические резолверы, динамические резолверы или ты тащишь хаки лехксера, изворачиваешься с переписыванием грамматик вазилиновами методами
источник
14:36пожаловаться#6

H

Hirrolot in Compiler Development
Yaroslav Schekin
Так в этом-то и смысл, нет? Ambiguous грамматика "не едет" сама по себе — её нужно исправлять (и радоваться, что на это указал parser, а не "благодарные" пользователи после какого-то времени использования языка).
кстати, а почему редко доказывают однозначность грамматик? я никогда не видел, если честно, и не знаю как это делать
источник
14:37пожаловаться#7

M

MrSmith in Compiler Development
Не, работ много
источник
14:38пожаловаться#8

M

MrSmith in Compiler Development
Недоказывают потому что интегрировать тяжко, в бизоне же как то работает обнаружение ошибок
источник
14:38пожаловаться#9

H

Hirrolot in Compiler Development
я не понял что ты сказал
источник
14:39пожаловаться#10

M

MrSmith in Compiler Development
Говорю методы в папирах есть, в дикой природе тоже есть, бизон же ишет неоднозначности
источник
14:39пожаловаться#11

M

MrSmith in Compiler Development
Сматри, если у тебя грамматика не содержит неоднозначностей то она одназначна
источник
14:40пожаловаться#12

H

Hirrolot in Compiler Development
бизон же false negative
источник
14:40пожаловаться#13

YS

Yaroslav Schekin in Compiler Development
MrSmith
Смысл в том что почти никому не интересны unambigouse в прикладном софте
Подождите, о чём Вы?!
Если в языке такая грамматика, это значит, что те, кто его используют, не могут знать, что означает та или иная конструкция, нет?
источник
14:40пожаловаться#14

YS

Yaroslav Schekin in Compiler Development
MrSmith
В реальности почти любой парсер генератор создается как раз для разбора Ambiguous, вопрос в том положили в коробку или нет статические резолверы, динамические резолверы или ты тащишь хаки лехксера, изворачиваешься с переписыванием грамматик вазилиновами методами
Не-не, это совсем другое дело — "передача" части грамматики на следующий этап разбора, и разве так много кто делает?
источник
14:41пожаловаться#15

M

MrSmith in Compiler Development
Я про висячий if к примеру
источник
14:41пожаловаться#16

M

MrSmith in Compiler Development
Yaroslav Schekin
Не-не, это совсем другое дело — "передача" части грамматики на следующий этап разбора, и разве так много кто делает?
Нет никакой передачи
источник
14:41пожаловаться#17

YS

Yaroslav Schekin in Compiler Development
Hirrolot
кстати, а почему редко доказывают однозначность грамматик? я никогда не видел, если честно, и не знаю как это делать
Потому что это алгоритмически неразрешимая задача, в общем случае. ;)
источник
14:41пожаловаться#18

M

MrSmith in Compiler Development
Просто генератор не упс я не могу shift/reduce а говорит, все ясно
источник
14:42пожаловаться#19

H

Hirrolot in Compiler Development
Yaroslav Schekin
Потому что это алгоритмически неразрешимая задача, в общем случае. ;)
много у нас алгоритмически неразрешимых задач
источник
14:42пожаловаться#20