Alternative methods such as Hoare logic and uniqueness have been developed to track side effects in programs.
Alternativní metody jako třeba Hoareho logika a unikátnost byly vytvořeny pro sledování vedlejších efektů v programu.