Erlang mô hình kết hợp với các chức năng

Question

Như Erlang là một ngôn ngữ lập trình chức năng gần như tinh khiết, tôi tưởng tượng này là có thể:

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

nơi foo(Z) là một decidable-nghịch tinh khiết (tác dụng phụ phí) song ánh chức năng, ví dụ:

foo(input) -> output. 

Sau đó, trong trường hợp đó X = output, Z sẽ phù hợp như input.

Có thể sử dụng ngữ nghĩa như vậy, có hoặc không có cú pháp khác so với ví dụ của tôi, trong Erlang?

Answer 1

Không, Erlang chỉ hỗ trợ mô hình đen!

Và yêu cầu ban đầu của bạn không phải là một yêu cầu dễ dàng. Chỉ vì có một nghịch đảo không có nghĩa là nó dễ tìm. Thực tế nó sẽ là trình biên dịch sẽ phải thực hiện hai phiên bản của các hàm.

Answer 2

Không, những gì bạn muốn là không thể.

Để làm điều gì đó như thế này, bạn sẽ cần có khả năng tìm thấy nghịch đảo của bất kỳ chức năng sinh học nào, điều này rõ ràng là không thể xác định được.

Answer 3

Tôi đoán lý do tại sao điều đó không được phép là bạn muốn đảm bảo thiếu tác dụng phụ. Với cấu trúc sau:

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

Sau khi bạn đánh giá Expr, các mô hình được tuần tự khớp với kết quả của Expr. Hãy tưởng tượng chức năng foo/1 của bạn có chứa một tác dụng phụ (ví dụ nó sẽ gửi một thông điệp):

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

Ngay cả khi mô hình đầu tiên sẽ không phù hợp, bạn đã có thể gửi tin nhắn anyway và bạn không thể phục hồi từ tình huống đó.

Answer 4

Những gì bạn có thể làm là:

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