@skoffer если есть возможность подкрутить чувствительность вашего микрофона, было бы здорово, а то очень тихо

Кто-нибудь пробовал?

я создал в гугл таблице https://docs.google.com/spreadsheets/d/1-fcuVD6GbfK-_RrhLyzB7ENc-8MMSvN_0OMYSpdWDck/edit?usp=sharing
вкладку с неприметным названием "Интересы"
предлагаю всем желающим туда вписать, какие околоджулийные темы им близки сейчас или интересны в перспективе

https://discourse.julialang.org/t/the-2021-julia-language-survey-is-live/62641

Просят заполнить анкету и рассказать, что вы думаете о языке.

Извиняюсь за наивный вопрос, но это вроде бы проскользнуло вчера и сегодня в одном из постов на дискурсе я это увидел.

Что такое императивный и декларативный стиль программирования? Если возможно, то объяснение для тупых было бы хорошо. Чем они отличаются, какие сильные и слабые стороны у каждого подхода.

Вот такую фразу сегодня увидел

Another way to put it: declarative (rather than imperative) code is generally considered more robust or at least easier to analyze and verify

Modelica vs Simulink: in Modelica the model is a system of differential equations, in Simulink the model defines the sequence of calculations

Prolog is declarative

В двух словах: императивный - программа содержит команды-приказы для непосредственного выполнения. Декларативный - программа содержит намерения, которые должны быть выполнены, но варианты выполнения могут быть различны, а порядок выполнения может быть изменён автоматическим оптимизатором без влияния на финальный результат.

Императивный стиль подразумевает явную последовательность исполнения операторов и задаваемые "операции". Скажем, можно выполнить операцию создания переменной, выделив ей память. Это произойдёт в тот момент времени исполнения программы, в какой будет указано оператором программы.

В декларативном стиле не подразумевается работа со временем, и просто описываются состояния. Скажем, переменная "объявляется" (декларируется, отсюда и "декларативность") где-нибудь так, что нельзя понять время её появления или последовательность исполнения (как в Паскале, в специальной секции для объявления переменных), поэтому нельзя сказать точное время выделения для неё памяти.

Моделика и симулинк про другое, но похоже. В симулинке последовательность операторов, описывающих выполнение модели, а в Моделике акаузальность (а не программистская декларативность!), то есть просто пополнение системы уравнений, а уж как эта система уравнений решается — это компилятор потом знает. Это не совсем программистская декларативность, хотя и в чём-то похожа.

Многим знакомый пример декларативного языка - sql.
В отличие от обычных императивных языков программирования, где шаги программы исполняются ровно в указанной последовательности: в sql оптимизатор смотрит на весь запрос и может сильно менять действия, которые по факту будут выполнены.

Понятия "декларативности" и "императивности" оказались не слишком удобными и дико размытыми в современных языках. Скажем, объявления переменных вроде как декларативны, а потом пошли императивные присваивания. И какой после этого стиль, как его назвать?! Поэтому раньше это разделение было популярно, а сейчас от него отказались.

Язык регулярных выражений туда же, кстати: программист задаёт шаблон, который надо найти, а библиотека регэкспов переводит это в алгоритм поиска.

Вот не так. SQL декларативен потому как это функциональный язык. А оптимизация — это про другое, она и в императивных языках используется и теоретически ни на что не влияет в части порядка исполнения.

Ага, спасибо большое.

То есть в каком-то смысле Джулия ни то ни другое? Потому что хотя мы указываем, что мы хотим сделать (например создаём переменную), компилятор может ее фактически не создавать.

Да, именно так. А поскольку регэкспы внутри императивных последовательностей операторов, то итоговый стиль непонятно уже как назвать. И от этого деления отказались.

Модно было об императивности и декларативности говорить где-то в 70х годах прошлого века.

Язык императивный и стиль императивный - совсем не одно и то же. Julia вполне себе императивна, но позволяет писать в функциональном и декларативном стиле.

это во всех компилируемых языках так...

Со стилем те же проблемы, что и с языком. Чистоты стиля не получается, есть только хотелки автора программы )))