Re: [Jsource] Unicode identifiers

jsoftware.com> Sent: Friday, July 8, 2016 10:37 AM Subject: Re: [Jsource] Unicode identifiers Does this mean that you are interested in writing that display tool? If so, do you need anything documented better, to get it done? Thanks, -- Raul On Fri, Jul 8, 2016 at 2:41 AM, Björn Helgason &l

Re: [Jsource] Unicode identifiers

Just thinking about this. The table would possibly need to have entries like the name, unicode, unicode number, name of unicode font to use. Possibly best to require the name to have spaces before and after. Could possibly be interesting. Probably not very difficult to do. Could be more or

Re: [Jsource] Unicode identifiers

I agree with you completely. What could be done is sort of have script with names used for J. Then have a rule script with those names exchanged in a toggle to unicode set in a table. So in J the rule is use names. For display purposes one script version is with the names and another script

Re: [Jsource] Unicode identifiers

nvert > > π to U960 "for use in names" > > > > > - Original Message - > From: Eric Iverson <eric.b.iver...@gmail.com> > To: Source forum <sou...@jsoftware.com> > Sent: Tuesday, July 5, 2016 5:50 PM > Subject: Re: [Jsource] Unicode ident

Re: [Jsource] Unicode identifiers

Should the APL symbols be single character symbols like + and - ? Not to be used as part of a name? On Jul 4, 2016 1:53 PM, "Jose Mario Quintana" wrote: On the one hand, Marshal asserts that Unbox allows the use of UTF-8 based identifiers in a way that "is

Re: [Jsource] Unicode identifiers

Marshall, I am sorry about the misspelling earlier On Mon, Jul 4, 2016 at 3:53 PM, Jose Mario Quintana < jose.mario.quint...@gmail.com> wrote: > On the one hand, Marshal asserts that Unbox allows the use of UTF-8 based > identifiers in a way that "is completely backwards-compatible with >

Re: [Jsource] Unicode identifiers

On the one hand, Marshal asserts that Unbox allows the use of UTF-8 based identifiers in a way that "is completely backwards-compatible with existing J." which I find very appealing. On the other hand, you (Jsoftware) decided strongly against it because "the disadvantages strongly outweighed the

Re: [Jsource] Unicode identifiers

We (Jsoftware) talked about unicode identifiers quite a bit years ago when we added uft8 and utf16 support to J. We finally decided we were strongly against it. The disadvantages strongly outweighed the advantages. I don't think anything has changed in the interim. I doubt unicode names will be