나는 많은 링크를 따르거나 범주 이론 교과서를 열 필요가없는 재귀 체계와 코어 커션 체계 (이화, 아나 모피 즘, 히로 모피 즘 등)에 대한 정말 간단하고 이해하기 쉬운 설명을 찾고 있습니다. 나는 이러한 체계를 무의식적으로 재창조하고 코딩 과정에서 내 머릿속에 "적용"했다고 확신합니다 (많은 사람들이 알고 있음을 확신합니다). 사용이 호출됩니다. (좋아요, 거짓말을했습니다. 방금 몇 가지에 대해 읽었 기 때문에이 질문이 나타났습니다.하지만 오늘 전에는 단서가 없었습니다.)
프로그래밍 커뮤니티 내에서 이러한 개념의 확산이 금지 된 설명과 예를 들어 위키피디아와 같은 다른 곳에서 접하는 경향이 있다고 생각합니다.
아마도 그들의 이름으로 인해 방해를 받았을 것입니다. 나는 대체적이고 덜 수학적인 이름이 있다고 생각하지만 (바나나와 철조망에 관한 것입니까?)하지만 내가 사용하는 재귀 체계에 대해 더 귀여운 이름이 무엇인지 전혀 모릅니다.
이진 트리와 같은 추상적 인 데이터 유형보다는 단순한 실제 문제를 나타내는 데이터 유형으로 예제를 사용하는 것이 도움이 될 것이라고 생각합니다.