corecursion

2열

1답변

.NET Reactive Extensions에는 Observable.Generate이라는 코어 커션을 사용하여 시퀀스를 생성하는 깔끔한 방법이 있습니다. RxJava에 corecursion을 통한 데이터 생성을 허용하는 유사한 방법이 있습니까? 그렇지 않다면 기존 방법을 기반으로 구현할 수 있습니까?

1열

1답변

코어 캐시 트리를 정의 할 때 "유효하지 않은 맵 기능"

codatatype으로 첫 번째 실험을하고 있지만 다소 빠르다. 나는 분기의 정의, 가능성이 무한 트리 시작 : codatatype (lset: 'a) ltree = Node (lnext : "'a ⇒ 'a ltree option") 일부 정의는 잘 작동 : primcorec lempty :: "'a ltree" where "lnext lemp

1열

1답변

Python : 런타임에 생성자 생성

파이썬 클래스로 알고 있고 런타임에 유형 및 람다를 사용하여 런타임에 함수를 만들 수 있지만 런타임에 생성자를 만들 수 있습니까? 예 : 키워드, 조건, 액션, lambda x,a: a<x,a++,a

2열

1답변

Coq on Coq, type mismatch

전 (coinductive) 유형을 시험해 보았고 자연수와 벡터 (유형에서 크기가 같은 목록)의 동시 유도 버전을 정의하기로 결정했습니다. 나는 그들과 같은 그래서 무한한 수의 정의 : CoInductive conat : Set := | cozero : conat | cosuc : conat -> conat. CoInductive covec (A :

6열

1답변

'비 비어에 대한 <code>Foldable.toList</code>을 기록 할

목록에 비어 있지 않은 구조를 펼쳐 것은 anamorphism를 사용하여 나무 장미,하지만 마지막 요소를 추출하는 것은 불가능 보인다 실제로 불가능은 import Data.Functor.Foldable data RoseTree a = RoseNode a [RoseTree a] ana5 :: RoseTree a -> [a] ana5 = ana coa