Functors - Githubissues

fluencelabs / aquavm

AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to

GNU Affero General Public License v3.0

147 stars 14 forks source link

Functors #149

Open mikevoronov opened 2 years ago

mikevoronov commented 2 years ago

At the moment the interpreter doesn't allow users doing any operation over values inside AIR scripts. It's a really huge limitation that is partially solvable now with peer builtins, but it is not an optimal, transparent, and handy solution.

Design of functors is in the research stage.

Progress:

[x] length functor (#315)
[ ] math functors
[ ] research which kinds of functors keep determinism and convergence

mikevoronov commented 2 years ago

We discussed and decided to have at least these four types of functors in the first version:

aggregators
selectors (getters)
filters
predicates