J'essaie d'éviter les constructions comme celle-ci:
val result = this.getClass.getSimpleName
if (result.endsWith("$")) result.init else result
Ok, dans cet exemple, les branches then
et else
sont simples, mais vous pouvez créer des images complexes. J'ai construit ce qui suit:
object TernaryOp {
class Ternary[T](t: T) {
def is[R](bte: BranchThenElse[T,R]) = if (bte.branch(t)) bte.then(t) else bte.elze(t)
}
class Branch[T](branch: T => Boolean) {
def ?[R] (then: T => R) = new BranchThen(branch,then)
}
class BranchThen[T,R](val branch: T => Boolean, val then: T => R)
class Elze[T,R](elze: T => R) {
def :: (bt: BranchThen[T,R]) = new BranchThenElse(bt.branch,bt.then,elze)
}
class BranchThenElse[T,R](val branch: T => Boolean, val then: T => R, val elze: T => R)
implicit def any2Ternary[T](t: T) = new Ternary(t)
implicit def fct2Branch[T](branch: T => Boolean) = new Branch(branch)
implicit def fct2Elze[T,R](elze: T => R) = new Elze(elze)
}
Défini cela, je peux remplacer l'exemple simple ci-dessus par:
this.getClass.getSimpleName is {s: String => s.endsWith("$")} ? {s: String => s.init} :: {s: String => s}
Mais comment puis-je me débarrasser du s: String =>
? Je veux quelque chose comme ça:
this.getClass.getSimpleName is {_.endsWith("$")} ? {_.init} :: {identity}
Je suppose que le compilateur a besoin des éléments supplémentaires pour déduire les types.
?
avant tout autre caractère alphanum comme nom de méthode, premier caractère et un :
pour l'associativité gauche. Je dois donc repenser les nouveaux noms de méthodes pour que l'inférence de type fonctionne de gauche à droite. Merci!
HasIs
,IsWithCondition
, desConditionAndTrueCase
classes qui accumulerait parties de l'expression de gauche à droite.)