H
офисной планктоновости
Size: a a a
2021 May 07
ΑZ
по сравнению с джавой это страна веселья
AN
надо переименовать в "раст офтопик маскарад"
ΑZ
я не знаю откуда такое ощущение
ΑZ
а вот затащил фантомные типы в БД
ΑZ
и сваггер
П
ну он выглядит игрушечным, да)
gо
Представим себе, что у нас могут быть правила вида
«Токен X сдвинуть влево до токена Y / на Z позиций»
«Токен X, стоящий непосредственно слева / справа от токена Y заменить на токен Z»
С разумными органичениями на то, какие мы можем писать условия
«Токен X сдвинуть влево до токена Y / на Z позиций»
«Токен X, стоящий непосредственно слева / справа от токена Y заменить на токен Z»
С разумными органичениями на то, какие мы можем писать условия
gо
И в конце мы должны получить s-expressions
gо
Можно ли такими правилами задать произвольный контекстно-свободный хотя бы язык?
П
Не надо вот брейнфак снова изобретать а
gо
В идеале контекстно-зависимый конечно, но не будем слишком жадными
gо
Это ни с какой стороны не брейнфак
gо
Мне даже не особо интересно, правда ли, что такие правила Тьюринг-полные, хотя по-моему правда
H
ты не в тот чат с таким вопросом зашёл, это нужно формально доказывать
TK
А goldstein опять это опять Goldstein?
gо
Ну не в завтипы же мне с этим вопросом идти
gо
Нет, я свой собственный злой брат-близнец.
H
в компиляторный чат и PL design
gо
А чо, есть такой?