스칼라에서 암시 논리 연산자 구현

Question

스칼라에 논리적 의미를 구현할 가능성이 있는지 궁금합니다. 예를 들어 :

a implies b 

로 번역 :

!a || b 

곳 a 및 b는 Boolean으로 평가 약간의 표현입니다.

나는 처음에 다음과 같이 시작하지만 a의 값에 상관없이 모두 a 및 b을 평가하기 때문에 그것은 잘못된 접근 방식

implicit def extendedBoolean(a : Boolean) = new { 
    def implies(b : Boolean) = { 
     !a || b 
    } 
    } 

입니다. 정확한 해결책은 a이 참일 때 b만을 평가할 것입니다.

Answer 1

통화 별 이름 매개 변수를 사용하려면, 나는 다음과 같은 충분한다고 생각 :

implicit def extendedBoolean(a : Boolean) = new { 
    def implies(b : => Boolean) = { 
     !a || b 
    } 
    } 

설명 : b에 대한 몇 가지 값을 통과해야하지만 것을 원하지 않는

평가 된 표현; 스칼라는 자동으로 표현식을 인수를 취하지 않고 표현식으로 평가하는 함수로 변환 할 수 있습니다. 그러면 implies 연산자가 필요하면 nullary (0 인수) 함수를 평가합니다.

컴파일러는 제공 한 형식 서명 인 => Boolean 때문에이 변환을 수행 할 수 있음을 알고 있습니다. 이 post은 더 자세히 설명되어 있지만 그 제목만으로는 진행되는 작업에 대한 간략한 설명이 있습니다 : "Automatic Type-Dependent Closure Construction".

스칼라의이 기능을 사용하면 다른 언어의 매크로를 사용하여 쉽게 작성할 수있는 제어 구조를 쉽게 작성할 수 있습니다. 하나의 조건문과 하나의 본문 매개 변수를 사용하여 while 루프를 얼마나 쉽게 구현하는지 관찰합니다.

object TargetTest2 extends Application { 
    //type signature not too terribly mysterious 
    def whileLoop(cond: => Boolean)(body: => Unit): Unit = 
    if (cond) { 
     body 
     whileLoop(cond)(body) 
    } 

    //about as easy to use as a plain-old while() loop 
    var i = 10 
    whileLoop (i > 0) { 
    println(i) 
    i -= 1 
    } 
} 

Answer 2

b을 평가해야하는 함수로 만들고 싶습니다. 그렇게하면 실제로 액세스 된 경우에만 평가됩니다.

유형을 => Boolean으로 변경하면 어떤 입력도없이 Boolean으로 평가되는 것을 의미합니다.

implicit def extendedBoolean(a: Boolean) = new { 
    def implies(b: => Boolean) = { 
    !a || b 
    } 
} 

는 여기를 사용하는 방법은 다음과 같습니다 a이 true 때, b이 (인쇄 "평가")으로 평가된다

가

scala> true implies { println("evaluated"); true } 
evaluated 
res0: Boolean = true 

scala> false implies { println("evaluated"); true } 
res1: Boolean = true 

알 수 있습니다. 그러나 a이 false 일 때 평가되지 않습니다 (인쇄되지 않음).