Re: Re: Automatic refactoring of Guile code

Re: Re: Automatic refactoring of Guile code

[Zelphir Kaltstahl]

Hey,

I remember a video, which I found once when I was looking for an
explanation or derivation of the Y combinator. In the video some guy
wrote himself 4 Elisp procedures, which enabled him to automatically do
equivalent transformations on either Elisp, Scheme or some other lispy
language. For example he had 2 transformation procedures doing the
following:

(some-expr-using-variable A) --> (some-expr-using-variable ((lambda () A)))

And the same in reverse, if I recall correctly.

With these transformations, he somehow arrived at a version of the Y
combinator towards the end of the video.

I just searched for half an hour, but could absolutely not find the
video. When searching for Y combinator, waaay too many incubator videos
came up. Looks like YouTube search and others give too much promotional
results, preventing me from finding the stuff I am searching.

Maybe you can find it, or use this idea as an inspiration.

Regards,

Zelphir


On 4/20/19 6:00 PM, guile-user-request@gnu.org wrote:
> Send guile-user mailing list submissions to
> 	guile-user@gnu.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
> 	https://lists.gnu.org/mailman/listinfo/guile-user
> or, via email, send a message with subject or body 'help' to
> 	guile-user-request@gnu.org
>
> You can reach the person managing the list at
> 	guile-user-owner@gnu.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of guile-user digest..."
>
>
> Today's Topics:
>
>    1. Re: Automatic refactoring of Guile code (????? ?????????)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Sat, 20 Apr 2019 13:21:42 +0300
> From: ????? ????????? 	<krosenmann@gmail.com>
> To: J?r?my Korwin-Zmijowski 	<jeremy@korwin-zmijowski.fr>
> Cc: sirgazil <sirgazil@zoho.com>, Guile User <guile-user@gnu.org>
> Subject: Re: Automatic refactoring of Guile code
> Message-ID:
> 	<CA+GxJ_FTM9Zqpo-eq8groaVwwnpJvwRCcxz7iqgk7swEOU+dmA@mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> Hello!
>
> Wilfred made the refactor browser some time ago. It can only extract
> variable and function now, but this browser is easily extensible. I will
> add some extra tasks in a few months to it when will be working for
> refactoring part of my current research of legacy software support technics.
> https://github.com/Wilfred/emacs-refactor#user-content-scheme
>
> ??, 8 ???. 2019 ?. ? 21:58, J?r?my Korwin-Zmijowski <
> jeremy@korwin-zmijowski.fr>:
>
>> Hello !
>>
>> I am curious about answers too!
>> I use Paredit for small actions. I am trying Parinfer in combination.
>> I looked for refactoring packages for Emacs which provide extracting
>> facilities like extract let context or extract function, ... Maybe it is
>> something we can work on for Guile ?
>> With people interested in the challenge ?
>>
>> Jeko
>>
>> Le 8 avril 2019 18:54:07 GMT+02:00, sirgazil <sirgazil@zoho.com> a ?crit :
>>> Hello,
>>>
>>> I'm looking for tools to do common automatic refactoring in Emacs.
>>> Would
>>> you mind sharing what you currently use?
>>>
>>>
>>> --
>>> Luis Felipe L?pez Acevedo
>>> http://sirgazil.bitbucket.io/
>> --
>> Envoy? de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma
>> bri?vet?.
>>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> guile-user mailing list
> guile-user@gnu.org
> https://lists.gnu.org/mailman/listinfo/guile-user
>
>
> ------------------------------
>
> End of guile-user Digest, Vol 197, Issue 13
> *******************************************