Flix (programming language): Difference between revisions

Revision as of 18:48, 28 August 2020

Revision as of 19:19, 28 August 2020

Line 16:

Flix supports [[Datalog]] constraints as first-class values that can be passed around, compose with other constraints, and solved.

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 separates and [[effect system|polymorphic effects]] based on [[unification_(logic)|Boolean unification]].

== History ==