swap :: (a, b) -> (b, a)
swap (a, b) = (b, a)

вот функция например, которая переставляет элементы в кортеже, без всякой мутабельности

вот задача:
1. есть ленивый невыполненный список неизвестной длины
2. строим из нее лениво мапу, мапа пока не вычисляется, ни один элемент не прочитался
3. ищем путь до какого-нибудь элемента. И тут все, так как мы не знаем длину списка, мы не знаем глубину дерева, какой же длины будет путь?

И наоборот, зная длину пути в дереве, можно приблизительно (в пределах степени двойки от длины) вычислить число элементов. Что тоже должно наталкивать на некоторые мысли, как же мы можем знать приблизительно длину списка, прочитав скажем только один элемент?

в общем, решение, которое позволит не читать весь файл, я написал несколько раз выше - это [(k, v)], список пар из ключ/значение. Поиск элемента будет за O(n), но можно оптимизировать число сравнений бинарно (что не всегда будет оптимизацией конечно), но позволит не читать весь файл

Придется мне кодом описать. Так мы друг друга не понимаем

data Tree a
 = Leaf a
 | Branch a (Tree a) (Tree a)

rotateRight :: Tree a -> Tree a
rotateRight (Branch q (Branch p a b) c) =
 Branch p a (Branch q b c)
rotateRight other = other

вот простое дерево, и функция поворота его вправо. Если хранить в каждой ноде еще глубину, то можно быстро балансить дерево поворотами. Без мутабельности. Ссылки на значения не поменялись, поменялась только структура дерева

с этой картинки взял имена переменных, чтобы наглядно было

sos — https://hackage.haskell.org/package/steeloverseer

Я кидал уже один вотчер. Человек хочет, чтобы у него ещё и браузер обновлял страницу по изменению

modifyMVar_ он внутри фунцкии сохрaняет переменную? Mожно другим функциям "расшарить" переменную?

есть ссылка на переменную (MVar a), есть значение переменной (a).

ссылку можно шарить снаружи modify.

внутри изменяющей функции нет никакой ссылки, есть только значение

вопрос был о том, меняется ли ссылка? один ли MVar до и после? да, конечно. иначе бы вообще ничего не работало

do
 modifyMVar var act1
 modifyMVar var act2

конечно, такие две операции работают с одной и той же изменяемой var

правилно понимаю это: "x' <- readMVar x" и есть ссылка? MVar`ов 4 всего внутри функции.

Это чтение по ссылке x с сохранением прочитанного в x'

совершенно не могу понять роль i в этом объявлении

какой-то алиас для типа?

ну можно сделать Client Int и будет Int

а можно Client (String,[Int]) и будет тогда айдишник такой

типа Generic в джавах? как называется идиома?

параметрический тип

f x = (x, 0)

data T x = T { a :: x, b :: Int }

это синтаксис аргументов