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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

989 membersпожаловаться на группу
2020 December 15

YS

Yaroslav Schekin in Compiler Development
K R
Занятно, что если подняться выше, и рассматривать как токены высокоуровневые конструкции, то и С++ где-то становится контекстно-независимым.
Так всё что угодно становится хоть регулярным (если рассматривать только recognizers). ;)
Но это одна из важных задач, ради которой используются lexers, на самом деле (для изменения сложности грамматики) .
источник
21:50пожаловаться#1

KR

K R in Compiler Development
А есть какие-нибудь модели типа биграфов для грамматик? То есть, разные вложенные друг в друга уровни?
источник
21:54пожаловаться#2

KR

K R in Compiler Development
MrSmith
Полезно сделать библиотеку для работы с графами по аналогу с node4j и тд
https://github.com/godcodehunter/smithpiler/blob/7944670429a6395407f5cb71feedc6549ec0dd9f/src/parser/tests.rs#L97
Вот это уже выглядит ужасно, сравнивать большие куски наверное вообше боль, не зря же кланг соорудил библиотеку матчеров
p.s. парсеры вроде бы взрослые дядьки еше фазерами проверяют
GitHub
godcodehunter/smithpiler
Contribute to godcodehunter/smithpiler development by creating an account on GitHub.
Скорее не с графами, а биграфами - при анализе ПО иерархичность очень важна.
источник
21:55пожаловаться#3

M

MrSmith in Compiler Development
Нет, идея в том что в тестах я хочу что то типа матчей
https://neo4j.com/docs/cypher-manual/current/clauses/match/
или спек
https://clojure.org/guides/spec
Лучше конечно как в ноде сделать язык запросов-очередей. Что бы сразу и парсер на нем проверять и сематический анализатор
Neo4j Graph Database Platform
MATCH - Neo4j Cypher Manual
The `MATCH` clause is used to search for the pattern described in it.
источник
22:08пожаловаться#4

M

MrSmith in Compiler Development
Тоесть я не пишу построчно процедурный код из кучи матчей, ассертов и тд, а пишу один матч на DSL и выплевываю ошибку из него
источник
22:09пожаловаться#5

KR

K R in Compiler Development
MrSmith
Тоесть я не пишу построчно процедурный код из кучи матчей, ассертов и тд, а пишу один матч на DSL и выплевываю ошибку из него
Это естественно. А вот как там с обработкой тестов на ошибки?
источник
22:35пожаловаться#6

M

MrSmith in Compiler Development
K R
Это естественно. А вот как там с обработкой тестов на ошибки?
Не понял
источник
22:46пожаловаться#7

KR

K R in Compiler Development
Ну есть тесты, которые производят ошибки компилятора.
источник
22:46пожаловаться#8

KR

K R in Compiler Development
Тестируют обработку ошибок компилятором.
источник
22:47пожаловаться#9

M

MrSmith in Compiler Development
Тоесть негативно позитивные тесты, когда мы скармливаем заранее неверную программу и проверяем выдал ли компилятор диагностику?
источник
22:47пожаловаться#10

KR

K R in Compiler Development
Правильную диагностику
источник
22:49пожаловаться#11

M

MrSmith in Compiler Development
Я пока на самом деле думаю что хранить ошибки в граффе плохая идея, но вообше как вариант создать таблицу ошибок и реляций. Это уже вопрос за скобками вообшем
источник
22:49пожаловаться#12

M

MrSmith in Compiler Development
Если диагности в таблице то думаю ничего сложного нет просто сматчить их списком
источник
22:49пожаловаться#13

M

MrSmith in Compiler Development
Если диагности как то продуцируются то уже сложней
источник
22:50пожаловаться#14

KR

K R in Compiler Development
В камле есть каталог тестов, не очень хорошо структурированный. Там тестируется вся система до какого-то прохода.
источник
22:51пожаловаться#15

KR

K R in Compiler Development
https://github.com/ocaml/ocaml/tree/trunk/testsuite

Может поможет структурировать требования к тест-системе
GitHub
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries - ocaml/ocaml
источник
22:52пожаловаться#16

M

MrSmith in Compiler Development
Ну это со списком работает хорошо, а если у нас алгоритм какой диагности выплеывает то и тестировать это сложно но вопрос всеравно за скобаками, потому что задача очередей првратить процедурный код в декларативную очередь а как там тестировать диагностики это уже вопрос десятый
источник
22:52пожаловаться#17

FO

FORTRAN ONE LOVE in Compiler Development
Alexander Zaitsev
звучит очень приятно, на самом деле. А есть пример какого-нибудь языка, в котором комитет этим занимается и предоставляет такие тесты?
Кажется, что таким страдала Ada: компилятор считался сертифицированным, если проходился опрелеленный набор тестов
источник
22:59пожаловаться#18
2020 December 16

Cʕ

Constantine ʕ◔ϖ◔ʔ🦀... in Compiler Development
http://dmitrysoshnikov.com/compilers/writing-a-memory-allocator/ 🧐
Dmitrysoshnikov
Writing a Memory Allocator
источник
05:53пожаловаться#19

M

MrSmith in Compiler Development
Кто понимает как работают LR 1 парсер генераторы?
источник
21:40пожаловаться#20