Dynamic scoping в Haskell

[lomeo]

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

При 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.

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

Comments

[thesz.livejournal.com]

Я почитал про это дело в ghc user guide. Говорят, поведение программ меняется от добавления объявлений типов и теряется возможность рассуждения о программах вне контекста.

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

[lomeo.livejournal.com]

В статье, о которой я упоминул рассматривается связь java+haskell, через JNI. Дело в том, что в JNI (если ты не писал) первым параметром в функциях всегда выступает jni environment, из которого мы можем тянуть нужные нам классы, объекты и т.д. В Ява коде его нет, разумеется, но неявно он присутствует. Так вот в Хаскеле можно сделать точно так как в Ява, как бы подразумевая, что энвайронмент есть всегда. В этом смысле очень удобно, другое дело, что такие задачи все таки редкость.