<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 05/06/2016 10:25 AM, Robert Virding
wrote:<br>
</div>
<blockquote
cite="mid:CAH_GQaMiW-bUyYnCh+RCPb3iFxAgauDvQRinKZzEEpDW_ZZ0jQ@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>Yes, I am not alone in wanting these!<br>
<br>
</div>
Robert<br>
</div>
</blockquote>
<br>
I agree iterators on maps are helpful. However, I think it is
important to make sure the iterator returned from maps:first/1 is
its own separate type. In the past when you have suggested this,
you appeared to indicate that the iterator would be a side-effect on
the Map data. However, if that was the approach, it would be
limiting the map to using a single iterator at a time. Other
reasons exist why this would be a bad approach: potentially hiding
side-effects of iterator usage in ways not represented by types, in
ways that dialyzer wouldn't handle (the maps type is already
complex), being the source of errors due to the lack of transparency
(i.e., it should be breaking referential transparency). So, the
interface of <span class="">maps:first/1 and maps:next/2 sounds
good as long as it is dealing with a maps iterator type and not
the map itself.</span><br>
<br>
<blockquote
cite="mid:CAH_GQaMiW-bUyYnCh+RCPb3iFxAgauDvQRinKZzEEpDW_ZZ0jQ@mail.gmail.com"
type="cite">
<div dir="ltr"><br>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On 6 May 2016 at 18:12, Jean Chassoul <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:chassoul@gmail.com" target="_blank">chassoul@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">
<div class="gmail_extra"><br>
<div class="gmail_quote"><span class="">On Thu, Apr 21,
2016 at 5:09 PM, Robert Virding <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:rvirding@gmail.com" target="_blank">rvirding@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px
0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir="ltr">
<div>My maps:first/1 and maps:next/2will be
coming when? :-)<span><font color="#888888"><br>
<br>
</font></span></div>
</div>
</blockquote>
<div><br>
</div>
</span>
<div>+1 </div>
<div><br>
</div>
<div>(= <br>
</div>
</div>
<br>
</div>
</div>
<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a moz-do-not-send="true"
href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a moz-do-not-send="true"
href="http://erlang.org/mailman/listinfo/erlang-questions"
rel="noreferrer" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
erlang-questions mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a>
</pre>
</blockquote>
<br>
</body>
</html>