zygo/meta/histo/para/futu/dyna/whatebledorphism은 무엇입니까?

Question

광범위한 범주 이론 지식이없는 사람이 접근 할 수있는 예가있는 목록이 있습니까?

Answer 1

바나나, 렌즈, 봉투 및 철조망 (PDF)을 사용한 기능 프로그래밍 도움이 될 것입니다. 표기법은 약간 털이 있지만 몇 번 읽으면 해당 목록을 쓰러 뜨릴 수 있어야합니다.

또한 재귀 체계를 살펴보십시오 (보관) 블로그 게시물, 블로거는 곧 개별적으로 발표 할 계획이므로 정기적으로 다시 확인하십시오.

Answer 2

Catamorphism에 대해 배우는 것으로 시작하십시오. 그것들은 가장 쉽게 이해하기 쉽습니다. 당신은 이미 하나를 알고 있습니다 : foldr!

그런 다음 anamorphisms를 찾으십시오 (unfoldr) 및 매개 변수. 그런 다음 다른 Wikipedia 기사/논문으로 가십시오. 그때까지 그들은 이해하기가 더 쉬울 것입니다.

Answer 3

Edward Kmett는 최근에 a 재귀 체계에 대한 현장 가이드, 아마도 도움이됩니까?

Answer 4

재귀 체계에 대한 Tim Williams의 슬라이드를 확인하십시오.

http://www.timphilipwilliams.com/slides.html

그들은 각각의 동기 부여 예를 가지고 모든 *-경화를 설명합니다.

Answer 5

시작은 다음과 같습니다. Wikipedia "재귀 체계"카테고리.