Телеграмм чат группы compilerdev страница 1727

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

983 membersпожаловаться на группу

2020 November 09

AG

Alex Gryzlov in Compiler Development

Есть ли примеры "движков" подобных движкам регулярных выражений, где с помощью машин конечных автоматов реализуют описание образца для сопоставления по набору данных, но чтоб домен был не строки как в случае с регулярками, а некий другой отличный от строк?

конечные автоматы же эквивалентны регуляркам

источник

01:17пожаловаться #1

AG

Alex Gryzlov in Compiler Development

то есть что ни делай, все равно будет им равномощно

источник

01:18пожаловаться #2

DP

Dmitry Ponyatov in Compiler Development

конечные автоматы же эквивалентны регуляркам

регулярки вроде не рассматривают отдельные биты в потоке в качестве данных

источник

01:18пожаловаться #3

а

а это кто in Compiler Development

Есть ли примеры "движков" подобных движкам регулярных выражений, где с помощью машин конечных автоматов реализуют описание образца для сопоставления по набору данных, но чтоб домен был не строки как в случае с регулярками, а некий другой отличный от строк?

Если можете представить объект вашего домена как строку, то можно использовать обычные регулярки

источник

01:19пожаловаться #4

PM

Pavel Meledin in Compiler Development

Dmitry Ponyatov

язык Elixir не сгодится?

а можно подробнее о том как эликсир подпадает под такой запрос? пока не могу идентифицировать связанность

источник

01:23пожаловаться #5

PM

Pavel Meledin in Compiler Development

Victor Shamparov

Не скажу, что хорошо подходит под запрос, но ЕМНИП был проект, использующий CTL-логику на CFG.
https://coccinelle.gitlabpages.inria.fr/website/papers.html

благодарю, изучу

источник

01:24пожаловаться #6

PM

Pavel Meledin in Compiler Development

Dmitry Ponyatov

регулярки вроде не рассматривают отдельные биты в потоке в качестве данных

да, вот тоже про это от части как пример разницы доменов

источник

01:25пожаловаться #7

PM

Pavel Meledin in Compiler Development

а это кто

Если можете представить объект вашего домена как строку, то можно использовать обычные регулярки

интересная мысль, опробую

источник

01:26пожаловаться #8

DP

Dmitry Ponyatov in Compiler Development

а можно подробнее о том как эликсир подпадает под такой запрос? пока не могу идентифицировать связанность

https://elixirschool.com/ru/lessons/basics/functions/#сопоставление-с-образцом

Elixir School

Уроки программирования на языке Elixir

источник

01:28пожаловаться #9

PM

Pavel Meledin in Compiler Development

Dmitry Ponyatov

https://elixirschool.com/ru/lessons/basics/functions/#сопоставление-с-образцом

Elixir School

Уроки программирования на языке Elixir

а, понял

источник

01:29пожаловаться #10

DP

Dmitry Ponyatov in Compiler Development

Есть ли примеры "движков" подобных движкам регулярных выражений, где с помощью машин конечных автоматов реализуют описание образца для сопоставления по набору данных, но чтоб домен был не строки как в случае с регулярками, а некий другой отличный от строк?

https://github.com/zeek/binpac

zeek/binpac

High level language for describing protocol parsers. - zeek/binpac

источник

01:31пожаловаться #11

VK

Val Krylov in Compiler Development

Есть ли примеры "движков" подобных движкам регулярных выражений, где с помощью машин конечных автоматов реализуют описание образца для сопоставления по набору данных, но чтоб домен был не строки как в случае с регулярками, а некий другой отличный от строк?

Да. Имплементации row pattern recognition из SQL:2016, например.

источник

02:20пожаловаться #12

AT

Alexander Tchitchigi... in Compiler Development

Dmitry Ponyatov

регулярки вроде не рассматривают отдельные биты в потоке в качестве данных

Конечно рассматривают. Если Ваш движок регулярок умеет только в буквы -- это ограниченный движок. Регуляркам (КА) самим по себе пофиг что матчить.

источник

09:52пожаловаться #13

IK

Ivan Kochurkin in Compiler Development

Есть ли примеры "движков" подобных движкам регулярных выражений, где с помощью машин конечных автоматов реализуют описание образца для сопоставления по набору данных, но чтоб домен был не строки как в случае с регулярками, а некий другой отличный от строк?

В ANTLR в качестве входа в парсер являются токены. А как ты генерируешь поток токенов - не важно. Обычно используется лексер на строках, но при желании можно создавать эти токены и привязывать к чему угодно. Правда это будет даже не регулярки, а более мощные языки - контекстно-свободные.

источник

14:22пожаловаться #14

IK

Ivan Kochurkin in Compiler Development

Так, кстати, можно создавать парсеры бинарных форматов или смешивать разнородные парсеры (PHP внутри HTML).

источник

14:24пожаловаться #15

M

MrSmith in Compiler Development

Меня давно мучает идея интерпретации парсера и нахождение максимально похожего совпадения. Думаю что то такое есть даже, правда оно только опечатки будет находить и пропуски довольно точно, но может кто то ML использует или что то типа того

источник

14:25пожаловаться #16

PM

Pavel Meledin in Compiler Development

В ANTLR в качестве входа в парсер являются токены. А как ты генерируешь поток токенов - не важно. Обычно используется лексер на строках, но при желании можно создавать эти токены и привязывать к чему угодно. Правда это будет даже не регулярки, а более мощные языки - контекстно-свободные.

а это интересная идея. благодарю

источник

14:29пожаловаться #17

M

MrSmith in Compiler Development

https://www.tabnine.com/blog/deep/ вот из старичков, но вроде и недавно были ещё какие то проекты с code completition, а вообще Lang tooling, намного сложней становится чем компиляторы

Autocompletion with deep learning

TabNine’s AI code completion IDE plugin completes code based on millions of programs in all languages and on your own context, empowering developers to code better and faster.

источник

14:32пожаловаться #18

M

MrSmith in Compiler Development

Такое ещё есть, https://marketplace.visualstudio.com/items?itemName=hediet.debug-visualizer, ставлю на то что в будушем все будет тесней сростаться и ручки будут в ide.

Debug Visualizer - Visual Studio Marketplace

Extension for Visual Studio Code - A visual watch window that lets you visualize your data structures while debugging.

источник

14:37пожаловаться #19

PS

Pavel Samolysov in Compiler Development

Intellij Idea предлагает галочку для включения "Rank completion suggestions based on Machine Learning" В CLion тоже есть, но только для питона.

источник

14:38пожаловаться #20