Итак, я немного читал о шаблоне Zipper в Haskell (и других функциональных языках, я полагаю) для обхода и изменения структуры данных, и я подумал, что это будет хорошим шансом для меня отточить свои навыки в создании шрифтов. классов в Haskell,...

Я долго ломал голову над этим, наверное это что-то банальное (или нет). Вот он - я хочу вытащить некоторые значения из xml. Вот моя программа (она должна быть переработана, это рабочая версия) (ns datamodel (:import (java.io...

Олег Киселев показал, как сделать застежку-молнию из любой проходимой , используя продолжения с разделителями. Его код на Haskell довольно короткий: module ZipperTraversable where import qualified Data.Traversable as T import qualified...

Это пример использования молнии в Haskell: data Tree a = Fork (Tree a) (Tree a) | Leaf a data Cxt a = Top | L (Cxt a) (Tree a) | R (Tree a) (Cxt a) type Loc a = (Tree a, Cxt a) left :: Loc a -> Loc a left (Fork l r, c) = (l, L c r) right ::...

У меня был большой успех с использованием data.zip.xml, но я обнаружил, что мне нужно то же самое для векторных деревьев. Прежде чем приступить к созданию эквивалента data.zip.xml для векторных застежек-молний, ​​я подумал, что было бы неплохо...