Erlang wzorzec dopasowania z funkcji

Question

Jak Erlang jest prawie czysty język programowania funkcjonalne, bym sobie wyobrazić to było możliwe:

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

gdzie foo(Z) jest rozstrzygalne-odwracalna czystego (efektem ubocznym darmo) bijective funkcja, np:

foo(input) -> output. 

Następnie, w przypadku, X = output, Z pasowałby jako input.

Czy możliwe jest użycie takiej semantyki, z lub bez innej składni niż mój przykład, w Erlangu?

Answer 1

Nie, Erlang obsługuje tylko dosłowne wzory!

Twoja pierwotna prośba nie jest łatwa. Tylko dlatego, że istnieje odwrotność, nie oznacza, że ​​łatwo ją znaleźć. Praktycznie byłoby tak, że kompilator musiałby tworzyć dwie wersje funkcji.

Answer 2

Nie, tego, czego chcesz, nie jest możliwe.

Aby zrobić coś takiego, musiałbyś być w stanie znaleźć odwrotność dowolnej funkcji bijective, która jest oczywiście nierozstrzygalna.

Answer 3

Domyślam się, że nie jest to dozwolone, ponieważ chcesz zagwarantować brak efektów ubocznych. Biorąc pod uwagę następującą strukturę:

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

Po ocenić Expr, wzorce są kolejno porównywane wyniku Expr. Wyobraź sobie funkcja foo/1 zawiera działania niepożądane (np wysyła wiadomość):

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

Nawet jeśli pierwszy wzór nie pasuje, byś wysłał wiadomość i tak nie można było odzyskać z tej sytuacji.

Answer 4

Co można zrobić, to:

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