Trong quá trình học Elixir, tôi đang chơi với Dialyzer để đặt các loại chức năng của mình. Về vấn đề này, tôi đã nhận thấy rằng Dialyzer dường như không kiểm tra các loại cho các chức năng ẩn danh. Tr
Dialyzer phiên bản 2.9. Erts 7.3. OTP 18. Trong mã erlang giả tạo như sau: -module(dialBug).
-export([test/0]).
%-export([f1/1]). % uncomment this line
test() ->
f1(1).
f1(X) when X > 5 ->
Tôi đang học tập và cố gắng sử dụng dialyzer để đạt được mức an toàn tối đa khi có thể. Có một điều mà tôi không hiểu: loại chức năng không kết thúc là gì và làm thế nào để biểu thị nó trong spec. Bạn