Не думаю, чел видимо подошел к какой то точке раз книгу писать начал

Да он не алгоритм забросил, конечно же, а собирался сделать другую реализацию того же алгоритма: https://github.com/jeffreykegler/kollos
Может, теперь решил первым делом книгу написать — я не следил.

Что значит заброшенно то?

Я бы сказал - статус не понятен вообше

А вот же там внизу: "I am currently immersed in a rewrite of the Marpa theory paper, but I will get to this, certainly before the next release." Так что интенсивной разработки ни того, ни другого пока не будет, как я понял.

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

А, ясно. Ну так https://t.me/CompilerDev/76909
Т.е. kollos задумывался как новая, улучшенная реализация алгоритма Marpa, насколько я помню.

Ну а что значит 'новая' 'улучшенная', по мне нифига не понятно и надо разбираться, может он просто посчитал что перл плохая идея а луа хорошая да и код не очень, пойду ка перепишу

Я точно не помню, но, кажется, он посчитал, что сплав perl+C — идея так себе (там не получается просто использовать одно без другого, кстати). Да и код не очень. ;)

а DCG-грамматики справляются с С++ ?

на апворке валяется таска по компиляторной теме, может кому будет интересно: https://www.upwork.com/jobs/~0184e8899506c88df7

Huawei снова ищут разработчика бинарного транслятора (если что, не имею отношения ни к huawei, ни к бинарным трансляторам)

Работа Strategic Tree Rewriting in Attribute Grammars заслуживает внимания попыткой объединения стратегического переписывания термов с атрибутными грамматиками.

https://www-users.cs.umn.edu/~evw/pubs/kramer20sle/kramer20sle.pdf

В последнее время интерес к забытым когда-то атрибутным грамматикам (АГ), похоже, вновь возрастает. Напомню, что АГ, формализованные Д. Кнутом еще в 1968 году, позволяют элегантным образом описывать задачи (статической) семантики и не сводятся только лишь к семантическим действиям какого-нибудь YACC. В случае АГ у нас, в общем случае, имеются как синтезированные, так и унаследованные атрибуты, позволяющие учесть контекст (это может быть, к примеру, таблица имен) при семантических вычислениях. Сами же вычисления могут производиться на графе, по готовности аргументов-атрибутов.

Существует ряд современных систем быстрого прототипирования DSL-компиляторов с использованием АГ, это, в частности, JastAdd, Kiama и Silver. В рассматриваемой статье система Silver (http://melt.cs.umn.edu/silver/ ) используется для реализации стратегий в виде атрибутов высшего порядка. Зачем это нужно? Дело в том, что на уровне стратегического переписывания тяжело работать с контекстной информацией. К  примеру, классический подход от E. Visser предполагает динамическое создание правил в зависимости от контекста, что не назовешь элегантным решением. На уровне атрибутов с контекстом работать значительно удобнее, в то время, как преобразования программ выразительнее осуществляются с использованием стратегий.

В статье демонстрируется ряд примеров использования такого "смешанного" подхода, среди которых: оптимизация регулярных выражений на основе производных Бржозовского и нормализация for-цикла для Halide-подобного языка. Сложно сказать, насколько предложенный подход окажется успешным, но сама по себе система Silver в любом случае представляет интерес [1].

1. Язык AbleC (расширение C11): http://melt.cs.umn.edu/ableC/

#semantics #ag #dsl #stratego

Я сначала подумал, что ваше и предыдущее сообщения связаны, но не увидел в таске про Хуавей)

Я на HH нашёл, у них раньше было много вакансий потом куда-то пропали

Видимо, они перешли на найм по линкам и через LinkedIn. Мне буквально вчера эту вакансию предлагали.

Они уже давно ищут, меня вот весной зазывали

Не понимаю, или им никто не подходит или народ не хочет связываться

Ну вот я отказался из-за отзывов знакомых