Сжатый условный оператор в Scala

Question

Позвольте мне показать, что я ожидаю от условного оператора:

import scalaz._ 
import Scalaz._ 
import util.Random 

trait Card 

class BigCard extends Card 

class SmallCard extends Card 

object Main extends App { 
    def printCard(card: Card) {println(card.getClass.getSimpleName)} 

    // Line bellow works fine, but I would prefer less verbose conditional operator (like ?: from JavaScript). 
    (if (Random.nextBoolean) new BigCard else new SmallCard) |> printCard 

    // I thought ScalaZ's ?| was meant to be an alternative to if. But following statement fails to compile. 
    (Random.nextBoolean ? new BigCard | new SmallCard) |> printCard 
} 

Результат:

[error] xxx/Main.scala:15: type mismatch; 
[error] found : SmallCard 
[error] required: BigCard 
[error] (Random.nextBoolean ? new BigCard | new SmallCard) |> printCard 
[error]          ^
[error] one error found 
[error] (compile:compileIncremental) Compilation failed 

Есть ли альтернатива ScalaZ-х | оператор, который поддерживает подклассы (не уверен в отношении термина, или это расширение типа)?

Я ищу краткий условный оператор (поэтому вопрос о добавлении типов вручную не о чем идет, он будет намного длиннее и уродливее, чем if). Можно ли его легко добавить (как и без пользовательского макроса), или какая-то библиотека предоставляет такой оператор?

Answer 1

Да, это довольно легко (implicit class не может быть объявлена ​​на верхнем уровне, поставить это в object и импортировать его содержимое):

class Cond[A](x: Boolean, value: => A) { 
    def |[B >: A](other: => B) = if (x) value else other 
} 

implicit class CondOp(x: Boolean) { 
    def ?[A](y: => A) = new Cond(x, y) 
} 

Scalaz по-видимому, определяет def |(other: A) вместо этого.

Недостаток (и, предположительно, почему Scalaz не делает), что он также собирает для неродственных типов, так как в Scala любых два типа имеет общую супертип: Random.nextBoolean ? 1 | "". Кроме того, для x ? 1 | 1.0 вы не получите расширение до Double, как и для if; вместо этого он возвращает AnyVal.