Proposed change to libraries

Bjorn Gustavsson bjorn@REDACTED
Tue Feb 8 10:50:00 CET 2005


Seems like good solution to me. It should be easy to implement.

Kostis, would that solution work for Dialyzer?

/Björn

"Richard A. O'Keefe" <ok@REDACTED> writes:
[...]
> We need
> 	is_applicable(F, N)
> 	- succeeds or returns true when N is a non-negative integer
>           and F is such that F(T1,...,TN) would make sense
> 	- fails or returns false otherwise
> 	is_applicable(F)
> 	- succeeds or returns true when there exists an N such that
> 	  is_applicable(F, N) would succeed or return true
> 	- fails or returns false otherwise
> 
> Then
>     map(F, [F|T]) -> [F(H)|map(F,T)];
>     map(F, []) when is_applicable(F, 2) -> [].
> 

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB



More information about the erlang-questions mailing list