search

objectionary / ideas

Here we keep ideas for future research in EO programming language and Polystat static analyzer
https://www.eolang.org
7 stars 0 forks source link

Automated simplification of EO programs #7

Open yegor256 opened 1 year ago

yegor256 commented 1 year ago

Consider this EO program:

[] > app
  QQ.io.stdout > @
    []
      "Hello" > @

It may be simplified to this semantically equivalent one:

[] > app
  QQ.io.stdout > @
    "Hello"

There could be many more similar optimizations. Let's create a command line tool, which will take a repository of XMIR files and create a new directory with simplified versions of them.

achekslime commented 1 year ago

My team will do it as a part of HSE course

yegor256 commented 1 year ago

@AchekSlime good to hear, go for it. Please, contact me in Telegram to discuss the details.