Content deleted Content added
mv new contribution to body |
Icchi User (talk | contribs) m Added citation |
||
Line 197:
<!-- TO DO: Expand / example code?? -->
Alternative methods such as [[Hoare logic]] and [[uniqueness type|uniqueness]] have been developed to track side effects in programs. Some modern research languages use [[effect system]]s to make the presence of side effects explicit.<ref>{{
<!-- TO DO: Expand -->
| |||