Groups > comp.lang.python > #197579

Nested Arrows in Dogelog Player (Re: Prototype-Based Programming in Dogelog Player)

Path	csiph.com!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.python
Subject	Nested Arrows in Dogelog Player (Re: Prototype-Based Programming in Dogelog Player)
Date	Wed, 5 Nov 2025 17:24:47 +0100
Message-ID	<10eftoe$1bv$2@solani.org> (permalink)
References	<10dnnii$lh95$5@solani.org> <10dsmq7$ohv3$3@solani.org>
MIME-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	7bit
Injection-Date	Wed, 5 Nov 2025 16:24:47 -0000 (UTC)
Injection-Info	solani.org; logging-data="1407"; mail-complaints-to="abuse@news.solani.org"
User-Agent	Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.21
Cancel-Lock	sha1:v5OMeaQUOs6IuzpqgCM2perKVm4=
X-User-ID	eJwNwYEBwCAIA7CXBKGVcxDG/ye4xDcERYPDfHzmW7b111nWB+2BEEuhLIzGsMfI4HLR06mn6kpdonca7wM5ghUG
In-Reply-To	<10dsmq7$ohv3$3@solani.org>
Xref	csiph.com comp.lang.python:197579

Show key headers only | View raw

Hi,

This post is Dedicated to the Memory of Scheme R4RS.
The ISO core standard witness calculation [7.1.1.4]
is the most hated among Prolog programmers, since it
produces false positive for nested (^)/2 occurences.
We show how to use it nevertheless for arrow
functions compilation.

We identified outside-in processing as the culprit
of false positives, the use of inside-out processing
then shows a promissing ability to minimize free
variable. We wish what we have done statically,
could also be done dynamically. But we are facing
serious new rational trees challenges.

Bye

See also:

Nested Arrows in Dogelog Player
https://medium.com/2989/1fd3fdc55ac3

Mild Shock schrieb:
> Hi,
> 
> We recently made public a new version of Dogelog
> Player that features arrow functions via the syntax
> operator (=>)/2. An interesting mark of the current
> release is that the arrow functions are automatically
> compiled and decompiled inside static clauses.
> 
> Although our main use case was higher order logic
> programming, an alternative use case is object
> oriented logic programming. In particular we make a
> short dive into the variant of so called prototype
> based programming, also sometimes termed the
> classless approach.
> 
> We use arrow functions (=>)/2 with a Pythonesk
> self parameter, to give dicts properties that will
> behave like methods. Creating copies, as sometimes
> suggested by Logtalk, might work well for value
> object. But to update an arrow function inside a
> prototype, we used a non-backtracking mutator.
> 
> Bye
> 
> See also:
> 
> Prototype-Based Programming in Dogelog Player
> https://qiita.com/j4n_bur53/items/3a68d42af9b86fce8bdf

Back to comp.lang.python | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Prototype-Based Programming in Dogelog Player (Re: ANN: Dogelog Player 2.1.2 (Arrow Functions)) Mild Shock <janburse@fastmail.fm> - 2025-10-29 10:29 +0100
  Nested Arrows in Dogelog Player (Re: Prototype-Based Programming in Dogelog Player) Mild Shock <janburse@fastmail.fm> - 2025-11-05 17:24 +0100
    Interpreting Arrows in Dogelog Player (Re: Nested Arrows in Dogelog Player) Mild Shock <janburse@fastmail.fm> - 2025-11-12 01:07 +0100
      Strudel Coding in Dogelog Player (Re: Interpreting Arrows in Dogelog Player) Mild Shock <janburse@fastmail.fm> - 2025-11-23 22:24 +0100

csiph-web