Content deleted Content added
No edit summary |
|||
Line 18:
The Flix type and effect system supports [[Hindley–Milner_type_system|Hindley-Milner]]-style type inference. The system separates pure and impure code. If an expression is typed as pure then it cannot produce an effect. Higher-order functions can enforce that they are given pure function arguments or alternatively they can be effect polymorphic in the effect of their arguments. The effect inference algorithm is based on [[unification_(logic)|Boolean unification]].
==
Flix programs compile to JVM bytecode. The Flix compiler is a [[whole-program]] compiler that performs [[monomorphization]] to eliminate polymorphism while avoiding [[boxing]] and [[tree shaking]] to remove unused code.
== Examples ==
| |||