나는 과 zippers으로 고민 중입니다. Control.Monad.MonadPlus m => m (Zipper Top Int [Int] :>> A Int) : 코드 아래의 고려는 내가 좋아하는 지퍼의 유형을 만드는 방법, data A t = A t를 갖는 ghci > import Control.Lens
> import Control.Zipper
>
clojure.zip을 사용하여이 트리를 탐색하고 노드와 그 부모를 인쇄하십시오. 나는 부모를 얻는데 어려움을 겪고있다. 예를 들어, :e의 부모는 :b입니다. ;;
;; :a
;; /\
;; :b :c
;; /\ \
;; :d :e :f
;;
(def example [:a [:b [:d] [:e]] [:c [:f]]])
(def z (zi
나는 html/xml 데이터 구조를 걷고있다. 나는 clojure.zip을 사용하여 그것을 걸어 간다. cut (가지 치기)를 원하는 노드를 찾으면 모든 자식 노드와 오른쪽 노드를 제거 할 수있는 방법을 찾을 수 없습니다. 예 : 의 내가이 나무 있다고 가정 해 봅시다 (즉, HTML을 나타냄) : (def tree [:p "F"
[:p "G"
Zip 반복자를 역순으로 수행하려면 어떻게해야합니까? 하위 배열의 요소를 이동해야합니다. 도록하는 중첩 영역의 경우는 덮어 피하기 (> C - ->은 & D 즉 b) for (x,y) in zip({c..d by stride},{a..b by stride},){
A1[x]=A1[y];
}
내가 역순으로이를 수행해야 다음 내 코드는 . (a..
Huet의 "The Zipper"라는 제목의 논문에서 그는 지퍼의 변형으로 흉터를 언급합니다. 하스켈 지역 사회에서 꽤 잘 알려진 지퍼와 비교하면, 흉터는 거의 들리지 않았습니다. 종이 자체와 인터넷상의 어느 곳에서든 내가 찾을 수있는 정보는 거의 없습니다. 그래서 나는 그들이 전혀 유용하지 않거나 유용 할 수있는 것이 있습니까?하지만 대부분의 사람들은 단
zippers 및 lens을 사용하여 문제가 발생했습니다. 예를 들어 다음과 같은 고려 : 당신이 볼 수 있듯이, 내가 Top :>> A :>> A 및 Top :>> A :>> B에 Top :>> A 중 하나를 이동할 수 {-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeOperators #-}
import Con
내가 으로해야한다고 가정합니다. unescape 주어진 문자열에서 XML 이스케이프 된 문자입니다. &을 &, "을 ", <, < 등으로 대체해야합니다. 순전히 기능적인 솔루션을 선호합니다. scalaz.Zipper으로 처리하는 것이 합리적입니까? Zipper을 사용하면 포커스 오른쪽에있는 문자를 확인하고 앞으로 이동하면서 문자를 건너
differentiable type이 있으면 its Zipper is a Comonad입니다. 이에 대해 Dan Burton은 "파생이 합성어를 만든다면 통합이 모나드를 만드는가? 아니면 그 말도 안 되는가?"라고 물었습니다. 나는이 질문에 특별한 의미를주고 싶다. 유형을 차별화 할 수 있다면 반드시 모나드입니까? 질문 한 제제는 우리가 Monad laws