[eeps] Multi-Parameter Typechecking BIFs

Ulf Wiger <>
Thu Feb 19 13:27:09 CET 2009


Sorry, James' suggestion.  /-:

/U

2009/2/19 Ulf Wiger <>:
> "mats cronqvist" <> wrote:
>>
>> the problem I have with this proposal is that it
>> does not address what, IMO, is the fundamental problem;
>> that I have to correlate the X at the beginning of
>> the line with the X at the end of the line.
>>
>>   I think something like this would be much better:
>>
>> func({_,X::float,_,Z::float}, [{_,Y::float,A::float} | _]) ->...
>>
>>   This has been proposed before, and rejected for no
>> good reason (that I can remember).
>
> Still, don't you think that these suggestions could be
> complementary? Inline guards are not intended to replace
> the standard guard syntax, and Vlad's suggestion improves
> on standard guards with no obvious disadvantages.
>
> BR,
> Ulf W
> _______________________________________________
> eeps mailing list
> 
> http://www.erlang.org/mailman/listinfo/eeps
>



More information about the eeps mailing list