유형

Question

나는이 (넌센스) 함수를 정의하는 경우 :

def g[A](f: (A*) => A): Int = { 
    10 
} 

왜 컴파일러 유형은 다음과 같은 경우를 확인하지 않습니다? 내 말은

def add(x: Int, y: Int) = x+ y 

g(add) 

,해야하지 (A*)-(A, A) 유형 검사?

Answer 1

(A, A)는 튜플 (Tuple2)이며, 그러므로 않는 (A*)에 입력 체크. 실제로 A*을 만 기능은 g에 예컨대 :

def add(ints: Int*): Int = ints.sum