Комментарии 7
=_= мое лицо когда питонский threading называют паралелизмом.
Вот Вы пишите что ... " В отношении корутин я такой теории не знаю, хотя уже, если честно, обыскался ;) Для конечных автоматов — это теория автоматов, в которой автомат — всегда автомат в любом виде (граф, таблица, матрица и т.п.) вне связи с языком/языками программирования ... "
В Софтверной Инженерии, кроме парадигм и методологий программирования, я бы выделил еще и Миры ...
В контексте софтверной инженерии, я со студентами обсуждаю интересный вопрос - а что первично Дырка или Тело бублика (алгоритм или код) Дырка порождает бублик или Тело бублика создаёт Дырку или Дырка уже до Тела бублика существовала?
После чего мы переходим в обсуждению двух Миров софтверной инженерии: Алгоритмо-центричного и Кодо-центричного, по аналогии с нашим представлением, что вокруг чего вращается Солнце вокруг Земли или наоборот, Земля вращается вокруг Солнца.
Очень интересно получается послушать их рассуждения на эту тему )
В v-agent oriented programming (VAOP) и в Автоматном Программировании и в model-driven engineering Алгоритмо-центричный мир и мы поддерживаем его своими методологиями, а для очень многих Солнце продолжает вращаться вокруг Земли и нет других вариантов) Вот, например, почитайте, что пишут представители кодо-центричного софтверного мира: "код и есть алгоритм. код реализует алгоритм. потому код документирует алгоритм автоматически."
Вот такие ярые Кодо-центристы Джордано Бруно и сожгли )), за то, что тот сказал, что Земля не Центр Мироздания, а Алгоритм )) Лучше начать знакомство с VAOP с этой статьи на Medium: "Bagels and Muffins of Programming or How Easy It Is to Convert a Bagel into a Black Hole" или на Хабре: https://habr.com/ru/articles/814685/
Я это все к тому, что при конечно-автоматном подходе, которым автор статьи прекрасно владет мы не должны забывать, что кодим в алгоритмо-центричном софтверно-инженерном мире ... и наши программы не бублики, а коржики
Я бы к сравнению Python vs FSM добавил, что это разные Миры ...
Я бы к сравнению Python vs FSM добавил, что это разные Миры
Если считать, что каждая алгоритмическая модель порождает свой Мир, то это безусловно так и есть. Более того, как реальное переселение из одного Мира в другой порождают определенные проблемы, так и переселение из одного Мира програмирования в другой тоже не происходит безболезненно. А потому по большей части вызывает резкое неприятие. И это нормально. И только тот, кто поймет и освоит новый Мир, тот и поймет его преимущества. Ну, или недостатки ;) Поэтому есть Мир автоматного программирования и Мир блок-схемного. А языки, представляющие модели, соотвественно в эти Миры погружениы... Есть такое древнее персидское стихотворение (прочитал во времена своей молодости у Э.Хамби Таблицы решений :)
Тот, кто не знает и не знает, что он не знает - глупец, избегай его.
Тот, кто не знает и знает, что он не знает - может научиться, научи его.
Тот, кто знает и не знает, что он знает - спит, разбуди его.
Тот, кто знает и знает, что он знает - пророк, учись у него.
Кстати, с Хамби и его таблиц решения и началось мое автоматное програмирвание... Или, скажем так, знакомство с Миром автоматного програмирования (правда, поначалу это был Мир таблиц решений) ;).
...а что первично Дырка или Тело бублика (алгоритм или код)
Для меня тут ответ однозначный - алгоритм. Т.е. как Дырка (пространство) была до Бублика, так и алгоритм первичнее любого кода, да и языка. Или по-другому Бублика без Дырки нет, а Дырок без Буликов - полно :). Алгоритм без кода - пожалуйста. Код без алгоритма - нонсенс. ;)
Параллелизм и эффективность: Python vs FSM