https://www.youtube.com/watch?v=hebJLY3dZzI

Наверное это очень интересно, но учебник в виде .pdf пошел бы лучше.

Здравствуйте, Слава

у них экстракторы в какой-нибудь общевойсковой язык появились?

Здравствуйте, koenig, Вы писали:

K>у них экстракторы в какой-нибудь общевойсковой язык появились?

Я не думаю, что это вообще в принципе возможно. Разве что уже имеющийся код обвешивать атрибутами и из них что-то собирать.

Вопросы по теме лучше задавать в чате по формальным методам: https://t.me/joinchat/Bf3AJw969zOLpLQEVAmMjQ

K>>у них экстракторы в какой-нибудь общевойсковой язык появились?

С>Я не думаю, что это вообще в принципе возможно. Разве что уже имеющийся код обвешивать атрибутами и из них что-то собирать.

странно, ведь все равно экстрактят, просто ручками — добавляя ошибки

С>Вопросы по теме лучше задавать в чате по формальным методам: https://t.me/joinchat/Bf3AJw969zOLpLQEVAmMjQ

нет экстрактора — нет вопросов

p.s. ты как-то уже рекламировал раст канал, я оскоромился, поставил телеграм и зашел — а там какой-то натуральный двач.
я сбежал в ужасе, такое только для крепкой психики. вон, Осака на двач ходил и кукухой тронулся, а я человек слабый, еще быстрее сломаюсь.

так что я туда не пойду

Здравствуйте, koenig, Вы писали:

K>я сбежал в ужасе, такое только для крепкой психики. вон, Осака на двач ходил и кукухой тронулся, а я человек слабый, еще быстрее сломаюсь.

Я думаю, что хорошая кукуха от двача не съедет, а плохая и без двачей перекосится.

K>так что я туда не пойду

Ну да, растджерк — это и есть новый двач. Но в "Формальных методах" всё куда пристойнее, пишут по 5 сообщений в неделю.