Dynamic scoping в Haskell

Оказывается, есть и такая вещь в Хаскеле. Существует как расширение системы типов, есть ограничения, пользы большой не вижу, но пусть будет.

При dynamic scoping за связывание переменной отвечает вызывающий код, а не вызываемый.

Пример

function foo()
{
    print x; // x имеет динамическую область видимости.
}

function bar()
{
    var x = 5;
    foo(); // вот здесь x и привяжется.
}

( то же самое на Haskell )

Музей обороны Москвы

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

Хорошее место. Там на входе можно по гаубицам полазить. Рекомендую всем-всем.