<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"></div><div dir="ltr">Not to start this up again, but I also showed how it would be easy to have the generator work with TwR in order to allow explicit close. </div><div dir="ltr"><br><blockquote type="cite">On Aug 29, 2023, at 7:22 AM, Attila Kelemen <attila.kelemen85@gmail.com> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><div dir="ltr"><div>As it turned out, I don't think there was much disagreement in the first place. Because - as far as I remember - nobody wanted a language level construct. I personally only wished the JDK to provide methods and interfaces for this. The only question is that there are multiple ways to implement this with different implications, and I believe the JDK should provide at least 2 different kinds: One which requires no close, and no longer referenced iterators would just abandon their VT forever (somewhat dangerous, but there a lot of generators that would not be hurt by that), and another one which can be closed explicitly. Anyway, before talking about other specific details, we would need that the JDK puts it up on the roadmap in the first place.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Robert Engels <<a href="mailto:rengels@ix.netcom.com">rengels@ix.netcom.com</a>> ezt írta (időpont: 2023. aug. 28., H, 13:34):<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="ltr"></div><div dir="ltr">I let it die :) - I thought because I proved that there was no difference in syntax or implementation by using virtual threads directly rather than requiring a new language continuation construct. There was some minor disagreement left that a “language continuation” could allow slightly more deterministic collection but I believe that was dismissed as being no different than other resource management in the JDK. </div></div></blockquote></div></div>
</div></blockquote></body></html>