Scala PartialFunctions from concrete

Question

¿Hay alguna forma rápida de usar como una función concreta (de tipo, por ejemplo, (A) => B) como PartialFunction[A, B]? La sintaxis más concisa que conozco es:

(a: A) => a match { case obj => func(obj) } 

¿Hay una conversión implícita en cualquier lugar, algo así como:

implicit def funcAsPartial[A, B](func: A => B) = new PartialFunction[A, B] { 

    def isDefinedAt(a: A) = true 
    def apply(a: A) = func(a) 

} 

supongo que acabo de escribir lo que estaba buscando, pero esto ya existe en las bibliotecas de Scala?

Answer 1

Hacer esto con una conversión implícita es peligroso, por la misma razón que (A) => B no debe heredar de PartialFunction[A, B]. Es decir, el contrato de PartialFunction garantiza que puede * llamar sin problemas a apply donde isDefinedAt devuelva true. El contrato de Function1 no ofrece tal garantía.

Su conversión implícita dará como resultado una función parcial que infringe su contrato si la aplica a una función que no está definida en todas partes. En su lugar, utilice un proxeneta para hacer la conversión explícita:

implicit def funcAsPartial[A, B](f: A => B) = new { 
    /** only use if `f` is defined everywhere */ 
    def asPartial(): PartialFunction[A, B] = { 
     case a => f(a) 
    } 

    def asPartial(isDefinedAt: A => Boolean): PartialFunction[A, B] = { 
     case a if isDefinedAt(a) => f(a) 
    } 
} 

// now you can write 
val f = (i: Int) => i * i 

val p = f.asPartial // defined on all integers 
val p2 = f.asPartial(_ > 0) // defined only on positive integers 

* Como se ha discutido en los comentarios, puede que no sea del todo claro qué "seguridad" significa aquí. La forma en que lo pienso es que una función parcial declara explícitamente su dominio en el siguiente sentido preciso: si isDefinedAt devuelve verdadero para un valor x, entonces apply(x) se puede evaluar de manera coherente con la intención del autor de la función. Que no implica que apply(x) no lanzará una excepción, sino simplemente que la excepción fue parte del diseño de la función (y debe documentarse).

Answer 2

No, intenté encontrar uno hace unos meses y terminé escribiendo el mío que es esencialmente el mismo que el tuyo.