Flix (programming language): Difference between revisions

Revision as of 18:47, 28 August 2020

Revision as of 18:48, 28 August 2020

Line 14:

'''Flix''' is a [[functional programming|functional]], [[imperative programming|imperative]], and [[logic programming|logic]] [[programming language]] developed at [[Aarhus University]] with funding from the [[Danish_Council_for_Independent_Research|Independent Research Fund Denmark]]<ref>{{cite web |title=Forskningsprojekter |url=https://dff.dk/forskningsprojekter?SearchableText=functional+and+declarative+logic+programming&period%3Alist=all&instrument%3Alist=all&filed_method%3Alist=all |website=Danmarks Frie Forskningsfond |language=da}}</ref> and by a community of [[open source]] contributors. Flix supports [[algebraic data types]], [[pattern matching]], [[parametric polymorphism]], [[currying]], [[higher-order functions]], [[extensible records]], [[Communicating_sequential_processes|channel and process-based concurrency]], and [[tail call elimination]].

Flix also supports first-class [[Datalog]] constraints andas [[effectfirst-class system|polymorphicvalues effects]]that basedcan onbe [[unification_(logic)|Booleanpassed around, unification]]compose with other constraints, and solved.

Flix separates and [[effect system|polymorphic effects]] based on [[unification_(logic)|Boolean unification]].

== History ==