effectful
adj 2
Definitions
adj
1
Synonym of effectual.
2
Implementing effects.
On the other hand, we hope it can contribute a small-step towards the ultimate goal of an elegant fully fledged language for certified effectful programming..
Your note
not saved0 chars