<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>On 2024-12-13 04:02, Ethan McCue wrote:</p>
<blockquote type="cite" cite="mid:CA+NR86hdeEy-iSYX4Cgwce6H6yvAuuZN7O=GcChNLKy-U32JgQ@mail.gmail.com">
<div dir="auto">One practical trouble in assembling this is that
the mailing lists aren't exactly indexed/searchable.</div>
</blockquote>
<p>Yes, that is indeed annoying. :-(</p>
<p>To be able to search locally on your own computer, you can
download the archives using something like this:</p>
<p>wget -l 0 --mirror --convert-links --no-parent
<a class="moz-txt-link-freetext" href="https://mail.openjdk.org/pipermail/amber-dev/">https://mail.openjdk.org/pipermail/amber-dev/</a></p>
<p>This will give you all the mails as a
<Year>-<Month>.txt file.</p>
<p>Our CDN seems to be throttling wget, so you might have do to add
something like
"--user-agent=work-around-missing-searchable-archive" to the
command line...<br>
</p>
<blockquote type="cite" cite="mid:CA+NR86hdeEy-iSYX4Cgwce6H6yvAuuZN7O=GcChNLKy-U32JgQ@mail.gmail.com">
<div dir="auto">
<div dir="auto">I'll make it my project to put something
together by new years though.</div>
</div>
</blockquote>
<p>That's great to hear. Thank you Ethan!</p>
<p>/Magnus<br>
</p>
<blockquote type="cite" cite="mid:CA+NR86hdeEy-iSYX4Cgwce6H6yvAuuZN7O=GcChNLKy-U32JgQ@mail.gmail.com"><br>
<div class="gmail_quote gmail_quote_container">
<div dir="ltr" class="gmail_attr">On Fri, Dec 13, 2024, 6:26 AM
Louis Wasserman <<a href="mailto:lowasser@google.com" moz-do-not-send="true" class="moz-txt-link-freetext">lowasser@google.com</a>>
wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Just seeing that it hasn't been mentioned,
Guava's Idea Graveyard is an example of this specific flavor
of thing: <a href="https://github.com/google/guava/wiki/IdeaGraveyard" target="_blank" rel="noreferrer" moz-do-not-send="true" class="moz-txt-link-freetext">https://github.com/google/guava/wiki/IdeaGraveyard</a>.
(It's pretty old, though, which reflects some of the
downsides.)</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Thu, Dec 12, 2024 at
10:34 AM Archie Cobbs <<a href="mailto:archie.cobbs@gmail.com" target="_blank" rel="noreferrer" moz-do-not-send="true" class="moz-txt-link-freetext">archie.cobbs@gmail.com</a>>
wrote:<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="ltr">
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Thu, Dec 12, 2024
at 10:07 AM Brian Goetz <<a href="mailto:brian.goetz@oracle.com" target="_blank" rel="noreferrer" moz-do-not-send="true" class="moz-txt-link-freetext">brian.goetz@oracle.com</a>>
wrote:<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> <font size="4" face="monospace">There is the
amber-docs repo which gets published to `<a href="http://openjdk.org/projects/amber" target="_blank" rel="noreferrer" moz-do-not-send="true">openjdk.org/projects/amber`</a>,
which is probably a better place to put it, and
people can contribute via PRs.<br>
</font></div>
</blockquote>
<div><br>
</div>
<div>
<div dir="ltr">
<div>I think putting something online under
amber-docs is a great idea - especially the part
where people can contribute using PR's, which
fosters decentralized collaboration on the
maintenance of the list.<br>
</div>
<div><br>
</div>
<div>While it would be ideal to have a complete
directory of ideas with accompanying summaries
of all that has been discussed, we should
probably start with something simpler and more
maintainable.<br>
</div>
<div><br>
</div>
<div>Here's a proposal: Have a list of "previously
discussed ideas". Each idea has a one line
description, a one paragraph summary, an
optional example, and a bullet-point list of one
or more links to the thread(s) in the archive
that contain all the gory details of the
discussion.</div>
<div><br>
</div>
<div>Here's a simple example...</div>
<div style="margin-left:40px"><br>
</div>
<div style="margin-left:40px"><b>Idea:</b> Using
switch statements for if/else control flow</div>
<div style="margin-left:40px"><br>
</div>
<div style="margin-left:40px"><b>Description:</b>
Support "switches on nothing" where the cases
simply provide the conditions on which to
execute various code branches.</div>
<div style="margin-left:40px"><br>
</div>
<div style="margin-left:40px"><b>Example:</b></div>
<div style="margin-left:40px"><br>
</div>
<div style="margin-left:40px"> public double
toInches(String value) {</div>
<div style="margin-left:40px"> switch {</div>
<div style="margin-left:40px"> case when
value.endsWith("mm") -> return 0.0393701 *
Integer.parseInt(value.substring(0,
value.length() - 2));</div>
<div style="margin-left:40px">
<div> case when value.endsWith("ft")
-> return 12 *
Integer.parseInt(value.substring(0,
value.length() - 2));</div>
<div> case when
value.endsWith("light-years") -> return
3.725e+17 *
Integer.parseInt(value.substring(0,
value.length() - 2));</div>
<div> default -> throw new
IllegalArgumentException("can't parse value");<br>
</div>
</div>
<div style="margin-left:40px"> }<br>
</div>
<div style="margin-left:40px"> }</div>
<div style="margin-left:40px"><br>
</div>
<div style="margin-left:40px"><b>Discussion:</b></div>
<div style="margin-left:40px">
<ul>
<li><a href="https://mail.openjdk.org/pipermail/amber-dev/2024-October/008939.html" target="_blank" rel="noreferrer" moz-do-not-send="true" class="moz-txt-link-freetext">https://mail.openjdk.org/pipermail/amber-dev/2024-October/008939.html</a></li>
</ul>
</div>
<div><br>
</div>
<div>Just now seeing Eirik's reference to Project
Jigsaw's Issue Summary document. I like this
even better but someone would have to step up
and take ownership.<br>
</div>
<div><br>
</div>
<div>-Archie</div>
<div><br>
</div>
</div>
</div>
</div>
<span class="gmail_signature_prefix">-- </span><br>
<div dir="ltr" class="gmail_signature">Archie L. Cobbs<br>
</div>
</div>
</blockquote>
</div>
<div><br clear="all">
</div>
<div><br>
</div>
<span class="gmail_signature_prefix">-- </span><br>
<div dir="ltr" class="gmail_signature">
<div dir="ltr">
<div>Louis Wasserman (he/they)</div>
</div>
</div>
</blockquote>
</div>
</blockquote>
</body>
</html>