Актуально ли понятие «процедура» в современных языках?
А причем тут динамическая типизация к тому, возвращается значение или нет? Главное что оно возвращается )
Но понятие "процедура" ужа анахронизм. Щас моднее делить на "методы" и "функции" )))
Так что процедура объявляется словом fun.
Нет, это тоже функция, тк она на самом деле возвращает Unit, который является типом с единственным возможным значением, в отличие от void, который не имеет значений.
В итоге: стоит ли вообще использовать слово "процедура"?
Имхо - стоит, тк это позволяет передать больше смысла в одном слове.
Ну и современные языки одним питоном не ограничиваются