corecursion

1熱度

1回答

Python：在運行時創建生成器

我知道python類和函數可以分別在運行時使用類型和lambda來創建，但是可以在運行時創建生成器嗎？ 例子： 關鍵字，條件，動作，產生 lambda x,a: a<x,a++,a

python language-features corecursion 2014-03-28

---

2熱度

1回答

共同感應，類型不匹配

我一直在嘗試共同誘導類型，並決定定義自然數和向量的共同誘導版本（與他們的大小類型列表）。我確定他們和無限多的像這樣： CoInductive conat : Set := | cozero : conat | cosuc : conat -> conat. CoInductive covec (A : Set) : conat -> Set := | conil : covec A co

coq proof dependent-type coinduction corecursion 2017-10-13

---

2熱度

1回答

Observable.Generate in RxJava？

.NET Reactive Extensions有一個簡潔的方法來使用稱爲Observable.Generate的corecursion生成序列。 RxJava中是否有類似的方法可以通過corecursion生成數據？如果沒有，是否可以基於現有方法實施？

rx-java corecursion 2016-06-07

---

6熱度

1回答

展開非空結構列表

我想寫Foldable.toList一個非空的玫瑰樹使用anamorphism，但似乎無法提取的最後一個元素： import Data.Functor.Foldable data RoseTree a = RoseNode a [RoseTree a] ana5 :: RoseTree a -> [a] ana5 = ana coalg5 coalg5 :: RoseTree a -

haskell recursion-schemes corecursion 2017-02-15

---