AS
llvm умнее меня. я бы просто избил автора первого примера и заставил написать нормально
Size: a a a
2021 August 27
AF
я так понимаю они сначала интерпретируются а потом уже компилятся
AF
то что в дебаге это интерпретируемые выражения
EZ
смотри код, AFAIR там есть оптимизаторы
AS
не. ну ладно. я понял почему он работает. но избить автора таки надо
EZ
ну и вообще офтоп уже парни %)
LL
А это точно чат про емакс?
AF
давно уже про трансгрессеров
Aß
зря вы это начали
LL
Фух, значит про емакс
Aß
рассмотрим регексп как функцию
r : s -> {0, 1}, которая принимает строку и возвращает булево значениеAF
ухухух *быстро так хлопает в ладошки*
Aß
как нам построить такую функцию
r' : s -> {0, 1}, чтобы ∀ s, r s = r' s ?AS
жаль я на шашлы не успею вернуться(
Aß
просто,
r' = { {s, r s} | s - строка }AF
чел ты что математик или около того
я в универе только этими символами писал
я в универе только этими символами писал
Aß
я жареный кабачок
AS
математика - язык науки) и CS за одно
AS
и ты отвечаешь на описание своего собственного решения в более компактной записи