«recursion-schemes» 태그된 질문

함수형 프로그래밍과 PLT 서클에서 "대수학"이라는 용어를 여러 번 들었습니다. 특히 토론이 객체, 코 모나드, 렌즈 등에 관한 것입니다. 이 용어를 인터넷으로 검색하면 이러한 구조에 대한 수학적 설명을 제공하는 페이지가 나와 있으며, 이는 거의 이해할 수없는 내용입니다. 프로그래밍 맥락에서 대수학이 무엇을 의미하는지, 그 의미가 무엇이며, 객체와 코모 나와 어떻게 관련되는지 설명해 …

339 scala  haskell  functional-programming  category-theory  recursion-schemes 

나는 많은 링크를 따르거나 범주 이론 교과서를 열 필요가없는 재귀 체계와 코어 커션 체계 (이화, 아나 모피 즘, 히로 모피 즘 등)에 대한 정말 간단하고 이해하기 쉬운 설명을 찾고 있습니다. 나는 이러한 체계를 무의식적으로 재창조하고 코딩 과정에서 내 머릿속에 "적용"했다고 확신합니다 (많은 사람들이 알고 있음을 확신합니다). 사용이 호출됩니다. (좋아요, 거짓말을했습니다. …

83 haskell  recursion  functional-programming  recursion-schemes