<div dir="ltr"><div>> We could imagine an intermediate category of calls that are a sort of "pure RPC"</div><div><br></div><div>Yeah, I've been thinking of something like that. Anyway, this 'pure RPC' notion could give enough clues to a developer, and to code analyzing tools.</div><img src="https://mltrk.io/pixel/Hm3WyNkdgrFfOYVSU4Dz?rid=Hm3WyNkdgrFfOYVSU4Dz" width="1" height="1" border="0"></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 28, 2017 at 12:39 PM, zxq9 <span dir="ltr"><<a href="mailto:zxq9@zxq9.com" target="_blank">zxq9@zxq9.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 2017年09月28日 木曜日 12:32:32 you wrote:<br>
> Interesting. Not so strictly speaking, some of the gen_server calls that do<br>
> not change its state may be seen as 'pure' albeit relying on messaging, and<br>
> a tool could probably figure out such calls automatically. And this<br>
> definitely could help to figure out what' going on in a project.<br>
<br>
</span>Perhaps -- but you probably do NOT want a naked call there, because there<br>
is no guarantee the process you called actually exists. Or is on the same<br>
node. Or is calling some external resource not even related to Erlang to<br>
figure out its response.<br>
<br>
We could imagine an intermediate category of calls that are a sort of<br>
"pure RPC", but the utility of this distinction may be pretty limited --<br>
we can't (and shouldn't) know what is going on inside another process.<br>
<br>
Anyway, it is worth exploring the idea, maybe. At the moment I'm looking<br>
at a very limited goal: getting pure declarations to be a real thing. If<br>
I had more time I would formally propose it and work on implementation --<br>
but I have my hands full and a HUGE backlog of other, slightly higher<br>
priority things I think will improve Erlang tooling at a more immediate<br>
level of impact.<br>
<div class="HOEnZb"><div class="h5"><br>
-Craig<br>
______________________________<wbr>_________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">With best regards,<div>     Roman Galeev,</div><div>     +420 702 817 968</div></div></div>
</div>