6 ms·
> You can not have lazy evaluation without referential transparency, and you can not get referential transparency with mutable variables. "… allowed to update
by igouy 7y ago
> You can not have lazy evaluation without referential transparency, and you can not get referential transparency with mutable variables.
"… allowed to update the unique object destructively without any consequences for referential transparency."
Uniqueness Typing
https://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11.htm#_4.5.1_Basic_Ideas https://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11....