M
Это сематической анализ нужен
Size: a a a
2020 August 11
RP
А чем от логуса отличается
1. в сана приоритеты работают в отличие от логоса.
2. есть разделение библиотек на рантайм и компилятор
3. следовательно в отличие от логоса ты в рантайме можешь собрать свои правила и скомпилировать их
4. а можешь скомпилировать их с помощью derive макроса, и внутри не будет никаких регулярок
5. можешь собрать ir dfa и выполнять его в рантайме
6. а можешь скомпилировать в растовый код
7. можешь вывести ir/dfa, отдебажить свои правила
8. оно ругается на правило, которое недостижимо. ругается во время компиляции, ага
2. есть разделение библиотек на рантайм и компилятор
3. следовательно в отличие от логоса ты в рантайме можешь собрать свои правила и скомпилировать их
4. а можешь скомпилировать их с помощью derive макроса, и внутри не будет никаких регулярок
5. можешь собрать ir dfa и выполнять его в рантайме
6. а можешь скомпилировать в растовый код
7. можешь вывести ir/dfa, отдебажить свои правила
8. оно ругается на правило, которое недостижимо. ругается во время компиляции, ага
p
Я сбегал в компиль чат бегло мд глянул вроде вообще одинаково почти
Там уже ответили в компиль чате
M
1. в сана приоритеты работают в отличие от логоса.
2. есть разделение библиотек на рантайм и компилятор
3. следовательно в отличие от логоса ты в рантайме можешь собрать свои правила и скомпилировать их
4. а можешь скомпилировать их с помощью derive макроса, и внутри не будет никаких регулярок
5. можешь собрать ir dfa и выполнять его в рантайме
6. а можешь скомпилировать в растовый код
7. можешь вывести ir/dfa, отдебажить свои правила
8. оно ругается на правило, которое недостижимо. ругается во время компиляции, ага
2. есть разделение библиотек на рантайм и компилятор
3. следовательно в отличие от логоса ты в рантайме можешь собрать свои правила и скомпилировать их
4. а можешь скомпилировать их с помощью derive макроса, и внутри не будет никаких регулярок
5. можешь собрать ir dfa и выполнять его в рантайме
6. а можешь скомпилировать в растовый код
7. можешь вывести ir/dfa, отдебажить свои правила
8. оно ругается на правило, которое недостижимо. ругается во время компиляции, ага
Ну значит сану застарю
CD
> Sana uses DFA algorithm described in Regular-expression derivatives reexamined paper.
на первый взгляд
https://www.ccs.neu.edu/home/turon/re-deriv.pdf
не отличается от того, что я описал, с точностью минимизации которую черта с два проведешь
https://www.ccs.neu.edu/home/turon/re-deriv.pdf
не отличается от того, что я описал, с точностью минимизации которую черта с два проведешь
p
1. в сана приоритеты работают в отличие от логоса.
2. есть разделение библиотек на рантайм и компилятор
3. следовательно в отличие от логоса ты в рантайме можешь собрать свои правила и скомпилировать их
4. а можешь скомпилировать их с помощью derive макроса, и внутри не будет никаких регулярок
5. можешь собрать ir dfa и выполнять его в рантайме
6. а можешь скомпилировать в растовый код
7. можешь вывести ir/dfa, отдебажить свои правила
8. оно ругается на правило, которое недостижимо. ругается во время компиляции, ага
2. есть разделение библиотек на рантайм и компилятор
3. следовательно в отличие от логоса ты в рантайме можешь собрать свои правила и скомпилировать их
4. а можешь скомпилировать их с помощью derive макроса, и внутри не будет никаких регулярок
5. можешь собрать ir dfa и выполнять его в рантайме
6. а можешь скомпилировать в растовый код
7. можешь вывести ir/dfa, отдебажить свои правила
8. оно ругается на правило, которое недостижимо. ругается во время компиляции, ага
Это вы на работе не осилили логос и решили сделать свой? Молодцы, если понадобится - возьму👍
RP
Это вы на работе не осилили логос и решили сделать свой? Молодцы, если понадобится - возьму👍
ага
AZ
У нас обычный ПР в телоксиде - это исправление трейта, и автоматическое исправление в 60 файлах где этот трейт реализовывается. Тесты есть (почти), исправление автоматическое, на кой черт мне смотреть эти 60 файлов?
ну прогляди их на скролле, это много времени что ли занимает7
p
ну прогляди их на скролле, это много времени что ли занимает7
60 файлов
p
Да
AZ
60 файлов с ренеймами я могу посмотреть минуты за две
AZ
охуеть конеш затраты времени
p
Только там не ренеймы, а перепил методов
RP
на первый взгляд
https://www.ccs.neu.edu/home/turon/re-deriv.pdf
не отличается от того, что я описал, с точностью минимизации которую черта с два проведешь
https://www.ccs.neu.edu/home/turon/re-deriv.pdf
не отличается от того, что я описал, с точностью минимизации которую черта с два проведешь
ты спросил как это сделано, я скинул ссылку на документацию.
RP
т.е. с этим все ок
AZ
Только там не ренеймы, а перепил методов
да не суть
VV
при этом я не понимаю, почему токсичность считается отрицательным качеством
Потому что сильные и смелые могут проявить прямую агрессию. Пассивная агрессия (токсичность) характерна для слабых и жалких.
M
И сравнивали с колмом?
RP
И сравнивали с колмом?
что такое колм?
M
Потому что мне кажется колм порвет это