Одна из проблем программирования – борьба с возрастающей сложностью программ при возрастании их объёма. Исторически она решается путём изолирования отдельных частей программ, взаимодействие которых друг с другом ограничено. Такой подход действует на всех уровнях программирования – «разделение концепций», «делай что-то одно и делай это хорошо», BCNF, монады, процедуры, классы, роли, модули. Все они поощряют ограничение частей программы, чтобы не играть против комбинаторики. Простейшим примером логического разделения является лексическая переменная.
Что же в этом интересного?
С самого начала Perl поступал с этим неверно. По умолчанию, область видимости переменных в Perl 5 – это переменная модуля, нечто типа глобальной переменной. Если вы определите что-либо внутри блока, оно будет видно снаружи.
В Perl 6 лексические переменные работают по умолчанию.
Ну хорошо, может это поможет поймать опечатку… Но главное преимущество этого в том, что вы будете работать с честными областями видимости переменных. И это позволит вам управлять сложностью программ.
Конечно, Perl 5 не заставлял вас программировать «правильно» и не навязывал использование strict и warnings. Perl 5 обещал обеспечивать обратную совместимость, а Perl 1 явно не было предназначен для написания сложных программ. У глобальных переменных в небольших скриптах есть смысл.
Perl 6 пытается помочь вам начать с малого и добавлять поддержку структурирования по мере роста программ. В случае переменных это означает, что в скриптах и модулях переменные лексические по умолчанию, но в однострочниках, вызываемых по –е, остаются глобальные переменные.
Если вы думали, что по поводу лексических переменных всё – это не так. В этом подходе есть неожиданные бонусы. Рассмотрим функцию:
Возвращается блок кода. При каждом вызове counter мы получаем кусочек кода, который можно вызвать нужно количество раз.
Вот что произойдёт, если мы создадим два разных кусочка этого кода и поиграем с ними:
Видите? $c1 и $c2 работают независимо. У каждого сохраняется состояние в виде переменной $count. Для нас она может выглядеть, как одна переменная, но для двух разных экземпляров counter это две разные области хранения значения – поскольку, каждый раз заново входя в блок, мы открываем новую область видимости. Такой блок называется замыканием.
Если вам показалось, что замыкания похожи на облегчённые объекты – поздравляю, это именно так. Их суть ограничения доступа та же, что у инкапсуляции и сокрытия информации в ОО. Это всё нужно для ограничения поля деятельности, чтобы отдельные части программы могли натворить как можно меньше дел.
{
my $var;
# $var доступна тут
}
# $var а тут недоступна
Что же в этом интересного?
С самого начала Perl поступал с этим неверно. По умолчанию, область видимости переменных в Perl 5 – это переменная модуля, нечто типа глобальной переменной. Если вы определите что-либо внутри блока, оно будет видно снаружи.
$ perl -v
This is perl 5, version 12, subversion 1 (v5.12.1)
$ perl -E '{ $var = 42 }; say $var'
42
$ perl -wE '{ my $var= 42 }; say $var'
Name "main::var" used only once: possible typo at -e line 1.
Use of uninitialized value $var in say at -e line 1.
В Perl 6 лексические переменные работают по умолчанию.
$ perl6 -e '{ $var = 42 }; say $var' # необходима инициализация через 'my'
===SORRY!===
Symbol '$var' not predeclared in <anonymous>
$ perl6 -e '{ my $var = 42 }; say $var' # не будет работать – не видна снаружи
===SORRY!===
Symbol '$var' not predeclared in <anonymous>
Ну хорошо, может это поможет поймать опечатку… Но главное преимущество этого в том, что вы будете работать с честными областями видимости переменных. И это позволит вам управлять сложностью программ.
Конечно, Perl 5 не заставлял вас программировать «правильно» и не навязывал использование strict и warnings. Perl 5 обещал обеспечивать обратную совместимость, а Perl 1 явно не было предназначен для написания сложных программ. У глобальных переменных в небольших скриптах есть смысл.
Perl 6 пытается помочь вам начать с малого и добавлять поддержку структурирования по мере роста программ. В случае переменных это означает, что в скриптах и модулях переменные лексические по умолчанию, но в однострочниках, вызываемых по –е, остаются глобальные переменные.
Если вы думали, что по поводу лексических переменных всё – это не так. В этом подходе есть неожиданные бонусы. Рассмотрим функцию:
sub counter($start_value) {
my $count = $start_value;
return { $count++ };
}
Возвращается блок кода. При каждом вызове counter мы получаем кусочек кода, который можно вызвать нужно количество раз.
Вот что произойдёт, если мы создадим два разных кусочка этого кода и поиграем с ними:
my $c1 = counter(5);
say $c1(); # 5
say $c1(); # 6
my $c2 = counter(42);
say $c2(); # 42
say $c1(); # 7
say $c2(); # 43
Видите? $c1 и $c2 работают независимо. У каждого сохраняется состояние в виде переменной $count. Для нас она может выглядеть, как одна переменная, но для двух разных экземпляров counter это две разные области хранения значения – поскольку, каждый раз заново входя в блок, мы открываем новую область видимости. Такой блок называется замыканием.
Если вам показалось, что замыкания похожи на облегчённые объекты – поздравляю, это именно так. Их суть ограничения доступа та же, что у инкапсуляции и сокрытия информации в ОО. Это всё нужно для ограничения поля деятельности, чтобы отдельные части программы могли натворить как можно меньше дел.
