Dialyzer có phân tích các chức năng ẩn danh không?

Question

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.

Trong ví dụ bên dưới, tôi chuyển một hàm ẩn danh có thêm hai số và trả về một số (t::number -> number), vào hàm all?. Do đó tôi không trả lại boolean như đã hứa trong thông số all? spec (t::any -> boolean).

defmodule Exercises do                   
    @spec all?([t::any], (t::any -> boolean)) :: boolean           
    def all?([], _), do: true                 
    def all?([h|t], con) do                  
    if con.(h) do                    
     all?(t,con)                    
    else                      
     false                      
    end                       
    end                       

    @spec funski() :: boolean                  
    def funski() do                    
    all?([1,1,2], &(&1 + 1))                 
    end 
end 

Dialyzer dường như không báo cáo bất kỳ lỗi hoặc cảnh báo cho mã này, và tôi curios nếu lọc là điều không thể kiểm tra loại sai lầm hoặc nếu tôi đang làm gì đó sai.

Answer 1

Có vẻ như đó là lỗi Dialyzer. Gọi số :lists.all/2 (với các đối số hoán đổi) tạo ra cảnh báo chính xác nhưng vì một số lý do gọi hàm all?/2 cục bộ của bạn với cùng một thông số không.