Algorithmization of object composition

[yegor256]

Consider this EO code:

[x] > f
  plus. > @
    x.times x
    42

It can be converted to (it's pseudo language):

[x] > f
  algo
    """
    input x;
    return x*x + 42;
    """

Let's invent a mechanism of doing such transformations and implement a tool that would take .xmir file and create a new optimized one.

Full paper is here: https://www.overleaf.com/read/svbnjqxvhmmd

[MikhailLipanin]

@yegor256, I took this one

[yegor256]

@MikhailLipanin ok, go ahead