<div dir="ltr">Thanks everyone for the feedback. It is clear now that backwards compatibility must be considered. I will work on a new proposal that focus on those aspects.</div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div><br></div><div><br></div><div><span style="font-size:13px"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><b>José Valim</b></span></div><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div><span style="font-family:verdana,sans-serif;font-size:x-small"><a href="http://www.plataformatec.com.br/" style="color:rgb(42,93,176)" target="_blank">www.plataformatec.com.br</a></span></div><div><span style="font-family:verdana,sans-serif;font-size:x-small">Skype: jv.ptec</span></div><div><span style="font-family:verdana,sans-serif;font-size:x-small">Founder and Director of R&D</span></div></span></div></span></div></div></div></div></div>
<br><div class="gmail_quote">On Fri, Apr 14, 2017 at 7:32 PM, Richard Carlsson <span dir="ltr"><<a href="mailto:carlsson.richard@gmail.com" target="_blank">carlsson.richard@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">The original prototype implementation of funs did indeed use tuples as the representation. Later, funs became a proper built-in data type. The intention was of course for abstract modules to go the same path.</div><div class="gmail_extra"><span class="HOEnZb"><font color="#888888"><br clear="all"><div><div class="m_-4809814311343756810gmail_signature" data-smartmail="gmail_signature"><br>        /Richard</div></div></font></span><div><div class="h5">
<br><div class="gmail_quote">2017-04-14 15:04 GMT+02:00 Valentin Micic <span dir="ltr"><<a href="mailto:v@pharos-avantgard.com" target="_blank">v@pharos-avantgard.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I wonder if Fun implementation  (e.g. F=fun(..) -> end) relies on "tuple dispatches".<br>
<span class="m_-4809814311343756810HOEnZb"><font color="#888888"><br>
V/<br>
</font></span><div class="m_-4809814311343756810HOEnZb"><div class="m_-4809814311343756810h5"><br>
On 14 Apr 2017, at 2:33 PM, Tony Rogvall wrote:<br>
<br>
><br>
>> On 14 apr 2017, at 14:12, José Valim <<a href="mailto:jose.valim@plataformatec.com.br" target="_blank">jose.valim@plataformatec.com.<wbr>br</a>> wrote:<br>
>><br>
>> Hi everyone,<br>
>><br>
>> I would like to propose to remove "tuple dispatches" from Erlang.<br>
>><br>
>> The tuple dispatch is the ability to invoke a function or call erlang:apply/3 on a tuple as first argument:<br>
>><br>
>> Eshell V9.0  (abort with ^G)<br>
>> 1> Var = dict:new().<br>
>> {dict,0,16,16,8,80,48,<br>
>>      {[],[],[],[],[],[],[],[],[],[]<wbr>,[],[],[],[],[],[]},<br>
>>      {{[],[],[],[],[],[],[],[],[],[<wbr>],[],[],[],[],[],[]}}}<br>
>> 2> Var:size().<br>
>> 0<br>
>><br>
><br>
> I think it is calling erlang:apply/2, the above code is called like<br>
><br>
>> apply({Var,size}, []).<br>
> 0<br>
><br>
> This is, interestingly enough, equivalent to<br>
><br>
>> erlang:apply(element(1,Var), size, [Var]).<br>
> 0<br>
><br>
> But maybe that was what you meant?<br>
><br>
> I think this once was part of the parametrized module stuff, this is now gone.<br>
><br>
> Utterly confusing an strange.<br>
><br>
> /Tony<br>
><br>
>> This behaviour is considered by most in the community to be undesired and confusing, as it obfuscates the meaning of the code and adds indirection.<br>
>><br>
>> I have also heard this behaviour made it harder to add some optimizations to the VM. I would love if someone more knowledgeable on the area could confirm or deny this. If true, it is also a strong argument to remove such behaviour.<br>
>><br>
>> Another reason for removing it is that the behaviour can be implemented as needed by adding is_tuple/1 checks to the code or more programmatically by using a parse transforms (see note 1 at the bottom for a limitation though). Therefore those who need the behaviour can include it only when necessary and we don't impose it as a semantics to the whole language (and ecosystem).<br>
>><br>
>> I can think of two strategies for removing the behaviour:<br>
>><br>
>> 1. Clean-cut: the code responsible for tuple dispatching will be completely removed from the VM and a parse transform will be made available. The parse transform could be part of Erlang/OTP or a separate repository. This change is backwards incompatible at the BEAM level. Code that relies on tuple dispatch without the parse transform on OTP 19 will not work on OTP 20. However, the parse transform should work with any OTP version, so if the parse transform is used during compilation, the code is guaranteed to work on OTP 19 and earlier as well as on OTP 20 onwards.<br>
>><br>
>> 2. New byte codes: if we don't want to break backwards compatibility at the BEAM level, I believe our only option is to introduce new bytecodes and a new apply BIF. Usage of the old BIFs and bytecode could emit warnings while we phase them out. A compiler option or parse transform should still be made available if a developer relying on those features wants their code to run without warnings.<br>
>><br>
>> Please let me know if there are other options available,<br>
>><br>
>> I will be glad to send patches and implement the required parse-transforms if this is accepted by the OTP team.<br>
>><br>
>><br>
>> José Valim<br>
>> <a href="http://www.plataformatec.com.br" rel="noreferrer" target="_blank">www.plataformatec.com.br</a><br>
>> Skype: jv.ptec<br>
>> Founder and Director of R&D<br>
>><br>
>><br>
>> Note 1. A parse-transform would be unable to make the following code work in the same way as today:<br>
>><br>
>> erlang:apply(erlang, apply, [dict:new(), size, []])<br>
>><br>
>> Although I would consider it highly unlikely to exist so it should not be a point of contention.<br>
>><br>
>> ______________________________<wbr>_________________<br>
>> erlang-questions mailing list<br>
>> <a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
>> <a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/list<wbr>info/erlang-questions</a><br>
><br>
> ______________________________<wbr>_________________<br>
> erlang-questions mailing list<br>
> <a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
> <a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/list<wbr>info/erlang-questions</a><br>
<br>
______________________________<wbr>_________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/list<wbr>info/erlang-questions</a><br>
</div></div></blockquote></div><br></div></div></div>
</blockquote></div><br></div>