Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #41334

Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy)

Show all headers | View raw

My thoughts and prayers to Prolog systems that
have under the hood UTF-8. This is a nasty test case
to a certain approach of surrogate pairs:

?- X = 'The \uD83D', Y =  '\uDE02 dog', atom_concat(X, Y, Z).
X = 'The \ud83d', Y =  '\ude02 dog', Z = 'The 😂 dog'.

Could mean 3 bytes UTF-8 at the end of the first Prolog
atom and 3 bytes UTF-8 at the start of the second Prolog
atom are converted into 4 bytes UTF-8.

See also:

The WTF-8 encoding
WTF-8 (Wobbly Transformation Format − 8-bit) 
Simon Sapin, Mozilla - 23 February 2022
https://simonsapin.github.io/wtf-8/

Mild Shock schrieb am Mittwoch, 22. November 2023 um 13:23:33 UTC+1:
> Dogelog Player is a Prolog system 100% written 
> in Prolog itself. We recently extended the Dogelog 
> Player to not only support JavaScript and Python, 
> but also Java as its target platform. For JavaScript 
> and Java, Dogelog Player approaches Prolog 
> atoms via wobbly Unicode. 
> 
> We treat wobbly code points as first class citizen 
> and see to it that a conversion from wobbly pairs 
> to a steady points automatically happens, but the 
> reverse road is blocked. The results are encouraging 
> but support in other Prolog systems such as 
> SWI-Prolog is lacking. 
> 
> See also: 
> 
> Wobbly Unicode in Dogelog Player 
> https://twitter.com/dogelogch/status/1727300173968162983 
> 
> Wobbly Unicode in Dogelog Player 
> https://www.facebook.com/groups/dogelog

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-08 23:38 +0100
  Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-09 14:59 +0100
    Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <janburse@fastmail.fm> - 2023-11-22 13:23 +0100
      Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <bursejan@gmail.com> - 2023-11-22 05:12 -0800
        Re: ANN: Dogelog Player 1.1.3 (Tuning Trilogy) Mild Shock <bursejan@gmail.com> - 2023-11-26 13:15 -0800

csiph-web