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

Object Inference for EO programs #13

Closed yegor256 closed 1 year ago

yegor256 commented 1 year ago

Consider this EO program:

[] > app
  foo 42
  foo 3.14
[x] > foo
  QQ.io.stdout
    QQ.txt.sprintf
      "Number is %d"
      x

It's reasonable to assume that x in foo may have two possible "types": int and float.

Let's create a tool that will add such "type" information to an EO program.

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

OlesiaSub commented 1 year ago

@yegor256 working on it. repo link, maybe you can add it to objectionary organization?