[eeps] Multi-Parameter Typechecking BIFs

[mats cronqvist]

Vlad Dumitrescu <vladdu55@REDACTED> writes:

> On Thu, Feb 19, 2009 at 13:15, mats cronqvist <masse@REDACTED> 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).
>
> FWIW, I like this approach too. Syntactically, maybe it would better
> to have instead
>    func({_,X/float,_,Z/float}, [{_,Y/float,A/float} | _]) ->...
> so that it's similar to the one used in binaries? 

 -type() uses the :: token.

> Of course, it's little meaning in discussing details for a proposal
> tha has alrady been rejected :-)

  I don't think it was *formally* rejected. I guess I should write an
  EEP about it, so it can be (formally rejectred, that is.)

  mats