[eeps] Multi-Parameter Typechecking BIFs

Ulf Wiger <>
Thu Feb 19 13:24:50 CET 2009

"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.

Ulf W

More information about the eeps mailing list