스칼라 : 유형의 컴파일 오류 선언 계속 모든 => 아무것도

Question

이 코드는 컴파일 오류 제공 :

import scala.util.continuations._ 

object CTest { 
    def loop: Nothing = reset { 
     shift {c: (Unit => Nothing) => c()} 
     loop 
    } 

    def main(argv: Array[String]) {loop} 
} 

오류 메시지 :

error: type mismatch; 
found : ((Unit) => Nothing) => (Unit) => Nothing 
required: ((Unit) => B) => (Unit) => Nothing 

을하지만이 코드는 예상대로 작동합니다

import scala.util.continuations._ 

object CTest { 
    def loop: Nothing = reset { 
     shift {c: (Unit => Any) => c.asInstanceOf[Unit => Nothing]()} 
     loop 
    } 

    def main(argv: Array[String]) {loop} 
} 

질문 : 스칼라 컴파일러가 왜 싫어하는가 나 co Any => Nothing 유형의 ntinuations?

Answer 1

그것은 컴파일 : 그것은B이 Nothing 것을 추측한다 컴파일러 처럼 나에게 보이는

shift[Unit, Nothing, Nothing] {c: (Unit => Nothing) => c()} 

하지만, 그렇지 않습니다.

Answer 2

유형이 없기 때문에 Nothing 유형을 반환 할 수 없습니다. Nothing을 반환 할 것으로 예상되는 코드는 절대 반환하면 안됩니다. 예를 들어 항상 예외를 throw하는 메서드는 아무 것도 반환하지 않는 것으로 선언 될 수 있습니다.

스칼라에서는 void이 Unit 인 자바가 반환되었습니다.

자세한 내용은 제임스 아이리 (James Iry)가 Getting to the Bottom of Nothing at All에 대해 말한 내용을 확인하십시오. 나는 형의 인수를 지정하면