Content deleted Content added
No edit summary |
No edit summary |
||
Line 12:
| file_ext = .flix
}}
'''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 and [[effect system|polymorphic effects]] based on [[unification_(logic)|Boolean unification]].
== History ==
| |||