.NET Reactive Extensions에는 Observable.Generate이라는 코어 커션을 사용하여 시퀀스를 생성하는 깔끔한 방법이 있습니다. RxJava에 corecursion을 통한 데이터 생성을 허용하는 유사한 방법이 있습니까? 그렇지 않다면 기존 방법을 기반으로 구현할 수 있습니까?
codatatype으로 첫 번째 실험을하고 있지만 다소 빠르다. 나는 분기의 정의, 가능성이 무한 트리 시작 : codatatype (lset: 'a) ltree = Node (lnext : "'a ⇒ 'a ltree option")
일부 정의는 잘 작동 : primcorec lempty :: "'a ltree"
where "lnext lemp
전 (coinductive) 유형을 시험해 보았고 자연수와 벡터 (유형에서 크기가 같은 목록)의 동시 유도 버전을 정의하기로 결정했습니다. 나는 그들과 같은 그래서 무한한 수의 정의 : CoInductive conat : Set :=
| cozero : conat
| cosuc : conat -> conat.
CoInductive covec (A :
목록에 비어 있지 않은 구조를 펼쳐 것은 anamorphism를 사용하여 나무 장미,하지만 마지막 요소를 추출하는 것은 불가능 보인다 실제로 불가능은 import Data.Functor.Foldable
data RoseTree a = RoseNode a [RoseTree a]
ana5 :: RoseTree a -> [a]
ana5 = ana coa