transformacion - ¿Por qué la variable Erlang no se utiliza?

metodo de la transformada inversa en excel

Question

¿Por qué compilar este código?

triples( [], _,_,_)->
[];
triples( Self, X, Y, none )->
[ Result || Result = { X, Y, _} <- Self ].

informe:

./simple_graph.erl:63: Warning: variable ''X'' is unused
./simple_graph.erl:63: Warning: variable ''Y'' is unused
./simple_graph.erl:64: Warning: variable ''X'' is unused
./simple_graph.erl:64: Warning: variable ''X'' shadowed in generate
./simple_graph.erl:64: Warning: variable ''Y'' is unused
./simple_graph.erl:64: Warning: variable ''Y'' shadowed in generate

Y devolver el resultado equivocado: el Ser completo.

Answer 1

Esto se debe a que las variables que aparecen en el LHS de los generadores, X e Y aquí, son siempre nuevas variables locales no vinculadas a la comprensión. Esto significa que no son las mismas variables que X e Y en la cabeza de los triples y, por lo tanto, no hay una prueba de igualdad implícita. Esto es similar a las diversiones donde todas las variables que ocurren en la cabeza de una diversión son también nuevas variables locales a la diversión.

Esto es diferente de la mayoría del resto de erlang, por lo que el compilador no solo advierte que las X e Y en la cabeza no se usan, sino que las X e Y en la comprensión sombrean las otras variables. Tampoco se utilizan en ninguna parte en la comprensión.

Una manera fácil de conseguir lo que quieres es:

[ Result || Result = {X1,Y1,_} <- Self, X =:= X1, Y =:= Y1 ]