effectful en · ADJ
Etymology
From effect + -ful.
Meanings
- Synonym of effectual.
-
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..
2015, Matthijs Vákár, “A Framework for Dependent Types and Effects”, in arXiv:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| most effectful | Degree=Sup | lexicographic | |
| more effectful | Degree=Cmp | lexicographic |