2
요약 요약하면 this description of Comonads이 '입력 불순물 유형'으로 설명됩니다.codata에 대한 절박한 요약 (comonad가 '입력 불순물 유형'인 경우)
코드 타타에 대한 동급의 (한 문장) 설명은 무엇입니까?
A
답변
0
는
이것은 단지 유한 한 값으로 살고 "데이터"대조 "CODATA 무한한 수있다 값 살고 종류". 예를 들어리스트의 "데이터"정의를 취하면 (ML에서와 같이) 유한 길이의리스트가 존재하지만, "codata"정의를 취하면 무한 길이의리스트로 거주하게된다. 하스켈, 예 : x = 1 : x).
Comonads와 codata는 반드시 관련이 없습니다 (일부는 Kieburtz의 논문 Comonads and codata in Haskell로 생각할 수도 있음).
"LISP 코드는 데이터이고 LISP 코드는 코타타입니까?"라는 문구에 동의 하시겠습니까? – hawkeye
아니요. LISP 코드는 데이터 (목록/S 표현식)이지만 "데이터/코드"와 같은 "데이터"가 아닙니다. 나는 물건을 더 분명하게하려고 대답의 예를 넣을 것이다. – dorchard
알았어 - 분명해. 내가 무한대까지 fibconacci 시리즈의 게으른 목록을 돌려 준 Clojure에서 함수가 있다면 - 그 함수의 결과 (게으른리스트)는 코다타가 될 것이지만 함수 자체는 아니. – hawkeye