Re: Seeking suggestions for a sealed-types analysis

2019-04-05 Thread Brian Goetz
Thanks Alan!  This sounds great. On 4/5/2019 5:49 PM, Alan Malloy wrote: Hello again, amber-spec-experts. I plan a follow-up of my recent records report, this time looking at sealed types (from the same proposal). This time, I am seeking suggestions before I get started. In particular, for rec

Seeking suggestions for a sealed-types analysis

2019-04-05 Thread Alan Malloy
Hello again, amber-spec-experts. I plan a follow-up of my recent records report, this time looking at sealed types (from the same proposal). This time, I am seeking suggestions before I get started. In particular, for records, it was easy to find @AutoValue classes: they have a well-defined annotat

Re: String reboot (plain text)

2019-04-05 Thread Brian Goetz
Indeed so.  While many languages have been content to treat ML as a special case of raw, there's something somewhat odd and forced about lumping them together.  Of course, splitting has its overheads too -- but I think there is a path here to identifying the right dimensions of parameterization

Re: String reboot (plain text)

2019-04-05 Thread Alex Buckley
On 4/5/2019 7:15 AM, Jim Laskey wrote: Following example works as expected: public class Test { public static void main(String... args) { String result = """ public class Main { public static void main(String... args) {

Re: String reboot (plain text)

2019-04-05 Thread Brian Goetz
> String Tapas - serving (1) I’m hungry already ! > Sated: multi-line embedded snippets of many languages (JSON, HTML, XML) > without any (or minimal) escaping > Sated: fat strings get fat delimiters > Sated: One rule for escaping across all strings The “one rule” thing is a pretty big deal. W

Re: String reboot (plain text)

2019-04-05 Thread Jim Laskey
String Tapas - serving (1) I created a new amber branch “string-tapas” for delivery of Multiline String Literal. This repo now contains the implementation of Brian’s (1) which is a multiline string literal using triple double quotes as a delimiter. I also added String::align method until we ha