Implement an Effect-System for effect detection - Githubissues

uqbar-project / wollok

Wollok Programming Language

GNU General Public License v3.0

60 stars 16 forks source link

Implement an Effect-System for effect detection #348

Open javierfernandes opened 9 years ago

javierfernandes commented 9 years ago

Be able to detect statements, methods and expressions which causes effect. This epic is just a big thought that needs to be analysed.

Here are a couple of practical usages of a such an effect-system:

model "commands" vs "questions": as per or pedagogical model which differentiates asking an object for some value (no side-effect), than ordering him to do something (side-effect).
new checks: for expressions which won't cause any effect like
maybe some optimisations or lazy evaluation (?)

npasserini commented 7 years ago

Depends on type system, but no discussion here. I'll move it to nice to have.