아포모르피즘

Apomorphism

컴퓨터 과학의 공식 방법에서, 아포모르피즘(aporphism, 그리스어로 "분리"를 의미함)은 파라모르피즘의 범주적 쌍대이자 아나모르피즘(공유도) 개념의 확장이다.파라모르피즘은 유도 데이터 타입에 대한 원시 재귀를 모델링하는 반면, 아포모르피즘은 공유도 데이터 타입에 대한 원시 코어 재귀를 모델링합니다.

오리진스

"아포모르피즘"이라는 용어는 아포모르피즘을 사용한 함수 프로그래밍(Corecursion)[1]에서 도입되었습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Vene, Varmo; Uustalu, Tarmo (1998), "Functional Programming with Apomorphisms (Corecursion)", Proceedings of the Estonian Academy of Sciences: Physics, Mathematics, 47 (3): 147–161


Stub icon

이 정식 메서드 관련 기사는 stub입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.