«recursion» 태그된 질문

종속적으로 유형이 지정된 프로그래밍에는 데이터를 분해하고 재귀를 수행하는 두 가지 주요 방법이 있습니다. 종속 패턴 일치 : 함수 정의는 여러 절로 제공됩니다. 통일은 모든 생략 된 경우가 불가능하고 외부 솔버가 재귀가 잘 이루어 지도록합니다. 제거기 : 각 유도 데이터 유형 에는 유도 상수 역할을하는 상수 와 유형 값을 분해하는 재귀 …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

이진 트리가 이진 검색 트리인지 확인하고 전역 계산 변수를 가정하여 얼마나 많은 완전한 분기가 있는지 (왼쪽 및 오른쪽 자식 노드가있는 부모 노드)를 계산하는 재귀 알고리즘을 만들어야합니다. 이것은 내 데이터 구조 클래스에 대한 할당입니다. 지금까지 void BST(tree T) { if (T == null) return if ( T.left and T.right) { if …

10 algorithms  recursion  trees