lomeo: (лямбда)
Dmitry Antonyuk ([personal profile] lomeo) wrote2006-10-30 02:22 pm

Dynamic scoping в Haskell

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

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

Пример

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

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



В Haskell dynamic scoping реализуется с помощью Implicit parameters (IP). IP расписываются в Implicit Parameters: Dynamic Scoping with Static Types. Там объясняется как в HM-типизацию внедрить dynamic scoping. А вот как это выглядит практически:

Во первых, не забудем флажок -fimplicit-params, который включает поддержку IP.

Тип функции, использующей динамическм связанную переменную, использует имя этой переменной в своем контексте. Выглядит это так:

sortBy :: (a -> a -> Bool) -> [a] -> [a]  

sort :: (?cmp :: a -> a -> Bool) => [a] -> [a]  
sort = sortBy ?cmp


Т.е. в контексте типа мы должны определить все динамически связанные переменные в виде ?name :: type
Но подобные вещи допускаются только в контексте типа функции, поддержки классов и инстансов нет.

Использовать подобную функцию очень просто - переменные связываются с помощью let или where.

let ?cmp = (<) in sort xs


Рекурсивного поиска по умолчанию нет. Для того, чтобы определить, что переменную следует искать выше, надо аннотировать это явно:

least :: (?cmp :: a -> a -> Bool) => [a] -> a
least = head . sort


Есть даже забавный пример по этому поводу:

getLen :: [a] -> Int
getLen xs = let ?acc = 0 in len_acc xs

-- len_acc :: (?acc :: Int) => [a] -> Int
len_acc [] = ?acc
len_acc (x:xs) = let ?acc = ?acc + (1::Int) in len_acc xs


Если мы раскомментируем строку с типом функции len_acc, то getLen "test" будет возвращать 4, иначе 0.

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

[identity profile] thesz.livejournal.com 2006-10-30 11:29 am (UTC)(link)
Я почитал про это дело в ghc user guide. Говорят, поведение программ меняется от добавления объявлений типов и теряется возможность рассуждения о программах вне контекста.

Поэтому я решил воздержаться от использования этой штуки.

[identity profile] -darkus-.livejournal.com 2006-10-30 11:39 am (UTC)(link)
Если честно, то на первый взгляд кажется какой-то хернёй. Не знаю, зачем это ввели в Хаскел. Кажется, что будто бы нерадивому студенту, который не знал, как подобные вещи сделать без DS, приспичило вставить эту возможность. И вставили ради такого нерадивого студента.

Она нефункциональна.

[identity profile] migmit.livejournal.com 2006-10-30 11:48 am (UTC)(link)
Кашшмар.

[identity profile] kurilka.livejournal.com 2006-12-08 09:38 pm (UTC)(link)
А чего это у тебя динамическое связывание и лексическое это одно и то же?
См. Википедию (http://en.wikipedia.org/wiki/Scope_(programming)) хотябы. Лексическое - это синоним статического, т.е. противоположного динамическому, связывания.