codata

12열

1답변

idris에 스트림의 필터 기능이없는 이유는 무엇입니까?

목록에는 filter : (a -> Bool) -> List a -> List a이 있지만 스트림에는 filter : (a -> Bool) -> Stream a -> Stream a이 없으므로 그 이유는 무엇입니까? 유사한 작업을 수행 할 수있는 대안이 있습니까? 이드리스에서

functional-programming idris codata 2017-04-24

---

2열

1답변

codata에 대한 절박한 요약 (comonad가 '입력 불순물 유형'인 경우)

요약 요약하면 this description of Comonads이 '입력 불순물 유형'으로 설명됩니다. 코드 타타에 대한 동급의 (한 문장) 설명은 무엇입니까?

monads comonad codata 2013-07-11

---