mutual-recursion

1열

2답변

상호 재귀의 실제 예?

나는 상호 재귀에 대해 읽었습니다. 거의 모든 자료에서, 정수의 유무가 짝수인지 여부를 결정하는 것이 문제였습니다. int is_even(unsigned int n) { if (n==0) return 1; else return(is_odd(n-1)); } int is_odd(unsigned int n) { return (!iseven(n));

algorithm data-structures recursion mutual-recursion 2013-07-15

---

0열

1답변

두 함수를 호출하고 그 결과를 서로의 인수로 사용하는 방법은 무엇입니까?

내가 가진 코드 : 그것을 위해 let join a ~with':b ~by:key = let rec a' = link a ~to':b' ~by:key and b' = link b ~to':a' ~by:(Key.opposite key) in a' 및 컴파일 결과는 다음과 같습니다는 Error: This kind of expre

recursion ocaml mutual-recursion 2014-10-24

---

4열

1답변

어떻게 Eq typeclass 함수를 구현합니까? x == y = not (x/= y) x/= y = not (x == y)는 작동합니까?

나는 book을 읽고있다, 그리고로이 두 가지 기능 ==, /=이 식에, 그들이 구현 Eq typeclass의 정의에 대해 이야기 :이 x == y = not (x /= y) x /= y = not (x == y) 이 책은 사람들이 말한다 상호 회귀이고, 함수의 결과는 다른 함수의 항목에 있습니다. 내가 이해할 수없는 것은 상호 재귀에 기본 사

haskell recursion typeclass mutual-recursion 2013-06-26

---

1열

3답변

상호 재귀 공통의 리스프

이는 커먼 리스프 코드 : (defun take (L) (if (null L) nil (cons (car L) (skip (cdr L))))) (defun skip (L) (if (null L) nil (cons (car L) (take (cdr L))))) 생각이 여기 입력 목록에있는 모든 홀수 순서 요소를 줄

lisp common-lisp sml mutual-recursion 2013-11-23

---

0열

1답변

Monad.Memo와 Memoization with Haskell의 상호 회귀

상호 재귀 구현을 사용하여 Haskell에서 몇 가지 동적 프로그래밍을하고 있습니다. 나는 메모 작성을 사용하여 작업 속도를 높이기로 결정했습니다. Monad.Memo는 MemoT 변압기를 제공합니다. 그러나 Map은 저장된 값을 내부 표현으로 사용합니다. 그리고 이것은 나에게 크기의 속도 향상을 주었지만 여전히 충분하지는 않습니다. lib는 내부 저장소로

haskell recursion dynamic-programming memoization mutual-recursion 2017-09-19

---

0열

1답변

라켓에서의 상호 재귀, 두 가지 일을하는 조건

가계도와 사람에 대해 두 가지 정의가 있습니다. ; a family-tree is: ; (make-person list-of-family-tree symbol number symbol) ; a person is: ; (define-struct person [children name date eyes]) 트리 (사람 포함)의 하위 항목 수를 계산하는

recursion scheme conditional racket mutual-recursion 2014-11-12

---

1열

1답변

프롤로그 상호 재귀

나는 프롤로그에서 상호 재귀에 의해 각 값을 확인하는 코드를 작성하고 있습니다. 이 지금까지 내 코드는 다음과 같습니다 semestersok(SP) :- [Prior|Tail] = SP, sem1ok(SP). %% sem1ok(SP) :- checks semester 1 of SP is ok sem1ok(SP) :- [S

recursion prolog mutual-recursion 2014-06-19

---

5열

1답변

린에서 상호 유도적 명제를 정의하는 방법은 무엇입니까?

유도 식 데이터 형식에 대한 구문을 사용하려고 시도했지만 오류 메시지가 표시되었습니다. "상호 유도 형은 종속 제거가있는 기본 유도 형으로 컴파일해야합니다.". 다음은 내 시도의 예는 자연수 또한 mutual inductive even, odd with even: ℕ → Prop | z: even 0 | n: ∀ n, odd n → even (n +

dependent-type theorem-proving mutual-recursion lean 2017-01-21

---

1열

2답변

숫자가 홀수인지 SML인지 여부를 알려주십시오.

이것은 제가 작업 한 두 번째 SML 프로그램입니다. 이 함수들은 상호 재귀 적입니다. 만약 내가 이상한 (1) 전화 사실과 심지어 (1) 나는 거짓말을 받아야한다. 이 함수는 모든 양의 정수에 대해 작동해야합니다. 나는이 프로그램을 실행할 때, : fun odd (n) = if n=0 then false else even (n-1); and

recursion sml smlnj ml mutual-recursion 2017-05-10

---

2열

2답변

C++ 상호 템플릿 종속성?

나는 서로를 가리키는 두 개의 구조를 원합니다. 특히, 다음과 같이하고 싶습니다 : template<typename Key, typename Value> class MyStructure { public: typedef map<Key, list<pair<Value, typename ListType::iterator>>> MapType;

c++ templates design-patterns mutual-recursion 2012-03-08

---