elixir - Dialyzer 是否分析匿名函数？

Question

在我学习 Elixir 的过程中，我正在使用 Dialyzer 来为我的函数添加类型。在这方面，我注意到 Dialyzer 似乎没有检查匿名函数的类型。

在下面的示例中，我传递了一个匿名函数，该函数将两个数字相加并返回一个数字 (t::number -> number) ，进入all?功能。因此，我没有按照 all? 中的 promise 返回 bool 值。规范(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 似乎没有报告此代码的任何错误或警告，如果 Dialyzer 无法检查此类错误或我做错了什么，我很想知道。

Answer 1

这似乎是一个透析器错误。调用 :lists.all/2 (交换了参数)产生了正确的警告，但出于某种原因调用您的本地 all?/2具有相同规范的功能没有。