codata

1熱度

1回答

未來有沒有解決浮點數精度問題的想法？

我們無法以無限精度存儲小數，但可能有某種表示方式，就像我們在haskell中表示無限列表一樣。 第一個想法來找我是通過類似於CODATA東西來表示一個十進制數，所以，對於任何給定的自然數k，我們可以計算出十進制數精確到k位。 但有一些明顯的問題，想想數a = 0.333...和b = 0.666...，如果我們加在一起，我們得到了ans = 0.999...（數字序列），但我們絕不能不管a + b

haskell functional-programming precision theory codata 2017-02-22

---

12熱度

1回答

爲什麼在idris中沒有Stream的過濾功能？

List有filter : (a -> Bool) -> List a -> List a，但Stream沒有filter : (a -> Bool) -> Stream a -> Stream a，爲什麼？ 是否有一些替代方案可以做類似的工作？在伊德里斯

functional-programming idris codata 2017-04-24

---

2熱度

1回答

關於codata的簡要摘要（其中一個comonad是一個'輸入雜質類型'）

就精闢的摘要而言 - this description of Comonads似乎取勝 - 將它們描述爲「輸入雜質類型」。 什麼是codata的同義密碼（單句）描述？

monads comonad codata 2013-07-11

---