patrón de Erlang a juego con las funciones

Question

Como Erlang es un lenguaje de programación funcional casi puro, me imagino que esto era posible:

case X of 
    foo(Z) -> ... 
end. 

donde foo(Z) es una (libre de efectos secundarios) biyectiva decidable-invertible pura función, por ejemplo:

foo(input) -> output. 

Entonces, en el caso de que X = output, Z coincidiría como input.

¿Es posible utilizar dicha semántica, con o sin otra sintaxis que mi ejemplo, en Erlang?

Answer 1

No, Erlang sólo es compatible con los patrones literales!

Y su solicitud original no es fácil. El hecho de que haya una inversa no significa que sea fácil de encontrar. Prácticamente sería que el compilador tendría que hacer dos versiones de funciones.

Answer 2

No, lo que desea no es posible.

Para hacer algo como esto necesitarías poder encontrar el inverso de cualquier función biyectiva, que es obviamente indecidible.

Answer 3

Supongo que la razón por la que no está permitido es porque desea garantizar la ausencia de efectos secundarios. Dada la siguiente estructura:

case Expr of 
    Pattern1 [when GuardSeq1] -> 
     Body1; 
    ...; 
    PatternN [when GuardSeqN] -> 
     BodyN 
end 

Después de evaluar Expr, los patrones se hacen coincidir secuencialmente contra el resultado de Expr. Imagine que su función foo/1 contiene un efecto secundario (por ejemplo, envía un mensaje):

foo(input) -> 
    some_process ! some_msg, 
    output. 

Incluso si el primer patrón no coincidiría, que habría enviado el mensaje de todos modos y no pudo recuperarse de esa situación.

Answer 4

Lo que puede hacer es:

Y = foo(Z), 
case X of 
    Y -> ... 
end.