표준 ML 오류 : 연산자와 피연산자가 일치하지 않음

Question

sum이라는 int를 취하는 함수 number_before_reaching_sum을 작성하고 목록의 첫 번째 n 요소가 sum보다 작게 추가되도록 int n을 반환하지만 목록의 첫 번째 n + 1 요소가 sum 이상을 추가합니다. 여기에 오류 메시지가 출력합니다 내 코드

fun number_before_reaching_sum(sum:int,lists:int list)= 
let 
val sum_list=0 
val n=0 
in 
    let fun list_compute(sum_list:int,lists2:int list,n:int)= 
      let val sum_list2=sum_list+(hd lists2) 
      in if sum_list2>=sum 
        then (sum_list2,n+1) 
       else (#1 list_compute(sum_list2,tl lists2,n+1),#2 list_compute(sum_list2,tl lists2,n+1)) 
       end 
    in #2 list_compute(sum_list,lists,n) 
    end 
end 

입니다 : (#1 list_compute(sum_list2,tl lists2,n+1),#2 list_compute(sum_list2,tl lists2,n+1)) 및 #2 list_compute(sum_list,lists,n) 이 2 개 라인이 잘못된 이유

hw1_1.sml:67.14-67.97 Error: operator and operand don't agree [type mismatch] 
    operator domain: {1:'Y; 'Z} 
    operand:   int * int list * int -> 'X 
    in expression: 
    (fn {1=1,...} => 1) list_compute 
hw1_1.sml:67.14-67.97 Error: operator and operand don't agree [type mismatch] 
    operator domain: {2:'Y; 'Z} 
    operand:   int * int list * int -> 'X 
    in expression: 
    (fn {2=2,...} => 2) list_compute 
hw1_1.sml:69.11-69.44 Error: operator and operand don't agree [type mismatch] 
    operator domain: {2:'Y; 'Z} 
    operand:   int * int list * int -> int * int 
    in expression: 
    (fn {2=2,...} => 2) list_compute 

내가 알아낼 수 없습니다.

Answer 1

f g(x,y)은 f (g (x,y))이 아니라 (f g) (x,y)으로 파싱됩니다. 그래서 당신은 다음과 같이 괄호를 추가 할 :

#1 (list_compute (sum_list2,tl lists2,n+1)) 

그렇지 않으면이 기능 list_compute에 #1을 적용하려고합니다. 오류 메시지는 " #1은 튜플이 필요하지만 대신 함수를주었습니다"라는 컴파일러입니다.