ЯП без глобальных переменных

[jangle]

Народ, приведите пример языка программирования без глобальных переменных, и только с локальными переменными, определяемых внутри функций.

[ANDLL]

Например Erlang

[Денис]

Где почитать про вред от глобальных переменных? Я погуглил, забавно, но все пишут примерно так: "ну, про вред глобальных переменных все и так знают, поэтому бла-бла-бла..."

Или, объясните, кто знает?

[Proxy]

Если учесть,что эрланг целиком и полностью создан для распределённых систем, то наверное там своя специфика. Например так навязывается определённый стиль программирования, когда отдельные модули (разработанные разными программистами) могут взаимодействовать только через специальный интерфейс, отслеживающий все транзакции. Хотя про эрланг я знаю только то, что это один из языков, юзабельных для распределённых вычислений.
Ну и плюс наверное чтобы избежать гонки и дэдлоки при одновременном присвоении значения глобальной переменной.

[alibek]

SQL (или другой язык ФП). Вообще без переменных.

[Proxy]

alibek, а разве то, что он содержит хранимые процедуры, делает его функционально-ориентированным ЯВУ? Он же вроде даже в базовой спецификации никаких процедур не имеет. Да и даже если бы и имел, то стал бы он классифицироваться как язык программирования?

[ANDLL]

Я пожалуй выскажу свое незрелое мнение...

SQL это не функциональный язык программирования. Вообще языки которые якобы функицональные на самом деле деляться на две большие категории. Во первых, есть языки которые на самом деле не функциональные, но имеют функциональные фичи, это C#, JS. В них есть одна фишка ФП(замыкания), но на самом деле люди которые на них пишут крайне далеки от ФП. И есть действительно функциональные языки - Erlang, Haskell. В них есть весь суповой набор ФП языков, а главное - они не приспособлены для императивного программирования. Так вот, в этом смысле SQL - вообще не функциональный. Если понятее проведу ряд - C# - ООП язык, VB6 - язык с ооп фичами, ASM - вообще не ООП язык.

Само по себе отсутствие глобальных переменных в эрланге ничего особого не дает.
В эрланге у переменных есть аж три особенности - все они локальные, в языке нет понятия передачи по ссылке(ByRef) и в языке нет понятия "повторное присвоение переменной". Собственно, в эрланге нельзя написать A = 5, A = 6. Это вызовет ошибку на втором присвоение.
Это нужно собственно для построение легко-масштабируемой системы с четко прослеживаемыми зависимостями

[Proxy]

ASM - вообще не ООП язык.

ASM вообще не ЯВУ, а значит само-собой процедурный.

[Proxy]

Так вот, в этом смысле SQL - вообще не функциональный. Если понятее проведу ряд - C# - ООП язык, VB6 - язык с ооп фичами, ASM - вообще не ООП язык.

SQL вообще не язык программирования, я настаиваю ИМХО он для хранимых процедур такой же контейнер, как XML для любых данных, просто дополнение в виде процедур только одно и не требует явного указания на язык, на котором написаны процедуры. Если кто-нибудь выпустит СУБД с SQL, в котором процедуры будут в Java например, то это ничего радикально не изменит, стоит только интерпретатору организовать доступ к сущностям SQL как к объектам.

[alibek]

SQL вообще не язык программирования, я настаиваю

Но язык, который во многом близок к функциональным языкам.

[SLIM]

Всетки SQL - это не язык в том смысле в котором здесь обсуждается. В широком смысле - да, язык.
Хранимые процедуры - это только контейнер, в котором хранится последовательность выполняемых запросов.
Но пусть даже это язык. В нем таки есть глобальные переменные. Например в T-SQL есть переменные, начинающиеся на @@ - глобальны для всех хранимых процедур, принимают значения локально.

[jangle]

Например Erlang

Cпасибо, мне интересно как передаются данные между функциями без глобальных переменных

[iGrok]

Cпасибо, мне интересно как передаются данные между функциями без глобальных переменных

Как аргументы. Разве не очевидно?

[jangle]

Как аргументы. Разве не очевидно?

Вроде бы неудобно это. Приводит к избыточному коду.

[alibek]

Вроде бы неудобно это. Приводит к избыточному коду.

Зато предсказуемо и проверяемо.

[jangle]

Вот такой пример, допустим есть 4 функции и 2 параметра X и Y. Первый передается в функцию One (x) возвращается X1, второй в функцию Two(y) возвращается Y1. Потом X1, Y1 передаются в функцию Three (x1,y1), а результат Three в Four.

Funct One (x)
Funct Two (y)
Funct Three (x1,y1)
Funct Four (z)

В результате, без глобальных переменных, код будет выглядеть так: Four (Three (One (x), Two (y)))
Не очень понятно с первого взгляда, в первую очередь из за массы скобок в коде.

[alibek]

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

[jangle]

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

В таком случае, мало понятен смысл отказа от глобальных переменных в некоторых языках

[Денис]

Где почитать про вред от глобальных переменных? Я погуглил, забавно, но все пишут примерно так: "ну, про вред глобальных переменных все и так знают, поэтому бла-бла-бла..."

Или, объясните, кто знает?

Чо вы меня игнорируете? Отвечайте на мой ответ!

[iGrok]

Или, объясните, кто знает?

Чо вы меня игнорируете? Отвечайте на мой ответ!

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

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

В таком случае, мало понятен смысл отказа от глобальных переменных в некоторых языках

В смысле? Я чуть выше написал, зачем в основном это делается.
А "используй промежуточные переменные" - так это же промежуточные. Локальные, одноразовые. Не более того.

[Денис]

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

А я-то думал это связано с какой-то лютой уязвимостью конечных продуктов или утечками памяти в них.

А как же флаги тогда? Булевы. Тоже нельзя? А как же настройки? Один раз при запуске прочитал ini-файл, рассовал по переменным некоего глобального класса и пользуешься. Это как решается? Впрочем, это несколько другое.

[Хакер]

А как же флаги тогда? Булевы. Тоже нельзя? А как же настройки? Один раз при запуске прочитал ini-файл, рассовал по переменным некоего глобального класса и пользуешься. Это как решается? Впрочем, это несколько другое.

Например так: каждой процедуре, которой это нужно, передаётся ссылка на объект-контейнер, хранящий все флаги и опции.

[Proxy]

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

[iGrok]

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

Нет, всё логично. Контейнер с настройками и флагами - рид-онли. Т.е. только для считывания и использования настроек.

[Proxy]

Тогда почему бы не организовать просто без заморочек глобальные переменные с овнером? Типа чтобы все не овнеры могли только получить значение, но не присвоить? Гораздо изящней было бы имхо. И после выгрузки овнера регистрация переменной снималась бы и память перераспределялась.

[iGrok]

Тогда почему бы не организовать просто без заморочек глобальные переменные с овнером? Типа чтобы все не овнеры могли только получить значение, но не присвоить? Гораздо изящней было бы имхо. И после выгрузки овнера регистрация переменной снималась бы и память перераспределялась.

Гораздо изящнее???? На кой икс городить каких-то там овнеров, если всё решается стандартными средствами - приватными переменными класса-контейнера??? И после его выгрузки... Ну ты понял, да?