<div dir="ltr"><div dir="ltr">Den tors 28 jan. 2021 kl 11:23 skrev Loïc Hoguin <<a href="mailto:essen@ninenines.eu">essen@ninenines.eu</a>>:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
By the way, if annotations are going to be a thing, it might be a good <br>
idea to make them more general so we can annotate other things, such as <br>
"pure function" / "side effect function" or "local send" / "remote <br>
send". I would personally love to easily identify message sends to <br>
remote nodes.<br></blockquote><div><br></div><div>These are also interesting things - maybe not inline but perhaps as keywords on function definitions; we had some ideas about marking functions as pure (for guards) back in the HiPE project, for example. Like any kind of strict typing, you then get into the question about such functions in other modules: If they can only be used locally, the feature is perhaps too limited to be worth it. To put them in other modules, you'd probably need to do name mangling like e.g. when linking C++, to ensure both caller and callee are following the conventions, and that might get too messy. I don't know anyone who has prototyped that, though, so it's not clear how it would look and feel.</div><div><br></div><div>    /Richard</div><div><br></div></div></div>