Content deleted Content added
m Bot: link syntax and minor changes |
|||
Line 130:
=== Polymorphic Effects ===
The Flix type and effect system separates pure and impure expressions<ref name="oopsla2020a"/><ref>{{cite web |title=Programming Flix - Effects |url=https://doc.flix.dev/effects/ |website=flix.dev}}</ref><ref>{{cite web|title=Rust Internals - Flix Polymorphic Effects|url=https://internals.rust-lang.org/t/flix-polymorphic-effects/13395}}</ref>. A pure expression is guaranteed to be [[Referential_transparency|referentially transparent]]. A pure function always returns the same value when given the same argument(s) and cannot have any (observable) side-effects.
For example, the following expression is of type <code>Int</code> and is <code>Pure</code>:
| |||