개체의 스칼라 유형 매개 변수

Question

이것은 this question과 관련되어 있지만 실재 형식을 사용하면 어떻게 도움이되는지 알 수 없습니다.

나는 다음과 같은 달성하기 위해 노력하고있어 :

type MonadicArithmeticFunc[S] = (Int, S) => (Int, S) 

object addOne[S] extends MonadicArithmeticFunc[S] { 
    def apply(n: Int, s: S): (Int, S) = (n + 1, s) 
} 

val state = Seq.empty[Int] 
println(addOne(4, state)) 

을 하나의 객체에 유형 매개 변수를 추가 할 수 없습니다 그러나이 작동하지 않습니다. 적용 방법은 Function2의 형식 매개 변수를 어떤 아니므로,

이

object addOne extends MonadicArithmeticFunc[_] { 
    def apply[S](n: Int, s: S): (Int, S) = (n + 1, s) 
} 

그러나 물론 중 하나가 작동하지 않는 : 나는 또한 실존 유형을 사용했습니다. 나도 같은 범위 지정을 얻을 수있는 패키지 객체에 그 선언해야 할 것 제외

def addOne[S](n: Int, s: S): (Int, S) = (n + 1, s) 

:

나는 기본 데프을 사용할 수 있습니다. 다른 아이디어?

Answer 1

그것은 단순히 addOne[Int] 및 addOne[String]은 (아마도) 다른 개체 것이기 때문에, object에 대한 (그 문제에 대한 또는 생성자 매개 변수)를 입력 매개 변수를 가지고 이해가되지 않습니다,하지만 단 하나가 있어야 키워드 object 의미 목적. 어떤 이유로 든 MonadicArithmeticFunc이 필요한 경우

class addOne[S] extends MonadicArithmeticFunc[S] { 
    def apply(n: Int, s: S): (Int, S) = (n + 1, s) 
} 

object addOne { 
    def apply[S] = new addOne[S] 
} 

일 수 있습니다. 그러나 Alexlv가 말했듯이,

object addOne { 
    def apply[S](n: Int, s: S) = (n + 1, s) 
} 

이 일반적으로 바람직합니다.