목록에서 [ai, ..., ai, ai +1, ..., an] 목록에 [ai + 1, ..., an, a1, .... ai] OCaml

Question

나는 이 운동에 대한 문제!

내 아이디어는 두 가지 기능을 생성하는 것이다

1. 가 제 기능을 입력으로 제 기능의 결과를 고려하여리스트 [ai + 1, ..., an]
2. 번째 함수를 생성하고 결과를 반환 [ai + 1, ..., an, a1, ..., ai]

을

문제는 방금 Ocaml로 프로그래밍을 시작했는데 사용법을 잘 이해하지 못하고 있다는 것입니다. 그래서 나는 해결 방법을 모른다는 몇 가지 오류가 있습니다. 내 코드는 이것이다 :

let rec produceprima l i = 
let rec produceprima_aux l i acc= 
    let rec aux l i acc l1 = 
    match l with 
    []-> [] 
    |x::y -> if(acc>i) then aux y i acc+1 l1@[x] 
      else aux y i acc+1 l1 
    in aux l i acc l1 
in produceprima_aux l i acc;; 

let rec produceseconda l i = 
let rec produceseconda_aux l i acc= 
    let rec aux l i acc l1 = 
    match l with 
    []-> [] 
    |x::y -> if(acc<=i) then aux y i acc+1 l1@[x] 
    in aux l i acc l1 
in produceseconda_aux l i acc;; 

첫 번째 함수의 오류는 다음과 같습니다

Error: This expression has type 'a -> 'b list 
     but an expression was expected of type int 

두 번째 기능은 내가 시도해야하지만, 확실히이 오류를!

Answer 1

표현식 f x+1은 (f x) + 1으로 컴파일러에서 구문 분석됩니다. 연산자 이름 주위의 공백을 생략했다는 사실 때문에 우선 순위가 부여되지 않았습니다. 따라서 aux y i acc+1 l1 대신 aux y i (acc+1) l1을 써야합니다.

이것은 매우 일반적인 실수입니다. OCamlPro 자습서를 사용해 보시기 바랍니다. 특히 5 단원에서는 구문 트랩에 중점을 둡니다.