Flix is a functional, imperative, and logic programming language developed at Aarhus University with funding from the Independent Research Fund Denmark[2] and by a community of open source contributors. Flix supports algebraic data types, pattern matching, parametric polymorphism, currying, higher-order functions, extensible records, channel and process-based concurrency, and tail call elimination.
| Flix | |
|---|---|
| Paradigm | Multi-paradigm: functional, imperative, logic |
| Developer | Aarhus University, open-source contributors |
| First appeared | 10 August 2015 |
| Typing discipline | inferred, static, strong |
| Platform | JVM |
| License | Apache License 2.0[1] |
| Filename extensions | .flix |
| Website | flix |
| Influenced by | |
| F#, Go, Haskell, OCaml, Scala | |
Flix supports Datalog constraints as first-class values that can be passed around, compose with other constraints, and solved.
Flix separates and polymorphic effects based on Boolean unification.
History
Examples
Hello World
print_endline "Hello World!"
Algebraic Data Types and Pattern Matching
...
Higher-Order Functions
...
Extensible Records
...
Notable Features
Polymorphic Effects
First-class Datalog Constraints
Principles
The Flix language design includes a collection of stated principles that shape the language[3]. These include:
- Everything is an expression
References
- ^ "Apache License 2.0" – via GitHub.
- ^ "Forskningsprojekter". Danmarks Frie Forskningsfond (in Danish).
- ^ "The Flix Programming Language". flix.dev. Retrieved 28 August 2020.
{{cite web}}: Text "Principles" ignored (help)