AP
safeLink ... — куда редиректитьSize: a a a
2021 February 25
AP
есть небезопасные ссылки
AP
Будет
'[Header "Location" Text]
иaddHeader "https://google.com" ...IR
это у haskell нормальный concurrency?
да, вот утром проверял 10к потоков которые каждые 10мс перераскладывают текст.
Один слой - один forkIO ждущий на retry в STM.
Один слой - один forkIO ждущий на retry в STM.
2021 February 26
JS
дано
требуется построить автоматически
data Tree a = Leaf a | Node (Tree a) (Tree a)требуется построить автоматически
(a -> b) -> (b -> b -> b) -> Tree a -> bJS
как это правильно называется? алгебра? элиминатор? Чёрч-кодировка?
K
как это правильно называется? алгебра? элиминатор? Чёрч-кодировка?
Элиминатор
к
нашел, там кривовато вышло: https://gist.github.com/kana-sama/9ac177974949a92804515ac84b087c15
будет что-то вроде
data Tree a = Leaf a | Node (Tree a) (Tree a)
deriving Generic
foldTree :: (a -> b) -> (b -> b -> b) -> Tree a -> b
foldTree leaf node x = result where
(result, r) = elim r x leaf node
будет что-то вроде
data Tree a = Leaf a | Node (Tree a) (Tree a)
deriving Generic
foldTree :: (a -> b) -> (b -> b -> b) -> Tree a -> b
foldTree leaf node x = result where
(result, r) = elim r x leaf node
JS
наверняка код там можно лучше написать, например просто используя кортежи для кейсов, попробую это сделать
еще можно взять либу с рекурсивными схемами, там вроде можно дерайвить функторы
еще можно взять либу с рекурсивными схемами, там вроде можно дерайвить функторы
с рекурсивными схемами вылезает другое неудобство:
от этого можно избавиться?
pattern Leaf :: a -> Tree a
pattern Leaf a = Fix (LeafF a)
pattern Node :: Tree a -> Tree a -> Tree a
pattern Node l r = Fix (NodeF l r)
от этого можно избавиться?
JS
может, темплэйт-хаскелем нагенерить?
JS
а, да, в recursion-schemes уже всё есть!