Description:
Statically typed functional, imperative, and logic programming language
|
|
Type: Formula
|
Latest Version: 0.67.2@0
|
Tracked Since: Dec 2, 2025
|
|
Links:
Homepage |
@flixlang |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
programming-language
functional
logic
jvm
datalog
|
|
Install:
brew install flix
|
About:
Flix is a statically typed functional, imperative, and logic programming language that runs on the Java Virtual Machine (JVM). It draws inspiration from Scala, OCaml, and Rust, offering a unique blend of features including type classes, algebraic data types, and pattern matching. The language is particularly notable for its native support for Datalog, allowing developers to express complex constraints and logic within a unified type-safe environment.
|
Key Features:
- Hybrid paradigm: combines functional, imperative, and logic programming
- Native Datalog integration for complex problem solving
- Strong static type system with type inference
- Runs on the JVM with seamless Java interoperability
|
Use Cases:
- Developing complex backend systems requiring rigorous type safety
- Solving constraint satisfaction problems using Datalog
- Research and education in programming language design
|
Alternatives:
-
Scala
– Flix shares the JVM platform but adds native logic programming features not found in Scala.
-
Rust
– Flix offers similar safety guarantees but includes garbage collection and logic programming capabilities.
|
| Detected |
Version |
Rev |
Change |
Commit |
| Dec 2, 2025 8:18pm |
|
0 |
VERSION_BUMP |
fdfe92e5 |
| Nov 10, 2025 11:02am |
|
0 |
VERSION_BUMP |
8b7daad1 |
| Nov 5, 2025 7:58am |
|
0 |
VERSION_BUMP |
6457b66e |
| Nov 4, 2025 12:29pm |
|
0 |
VERSION_BUMP |
b25e4f18 |
| Oct 8, 2025 9:39am |
|
0 |
VERSION_BUMP |
41d5c6a2 |
| Sep 23, 2025 11:31am |
|
0 |
VERSION_BUMP |
16fc8f23 |
| Sep 23, 2025 10:58am |
|
0 |
VERSION_BUMP |
68305bde |
| Sep 17, 2025 11:01am |
|
0 |
VERSION_BUMP |
17469fde |
| Sep 9, 2025 8:02am |
|
0 |
VERSION_BUMP |
8c4a952d |
| Dec 16, 2024 11:40am |
|
0 |
VERSION_BUMP |
9f4c12ef |
| Dec 16, 2024 10:57am |
|
0 |
VERSION_BUMP |
bda0e32c |
| Nov 15, 2024 10:38pm |
|
0 |
VERSION_BUMP |
0bae5b12 |
| Oct 13, 2024 9:32am |
|
0 |
VERSION_BUMP |
4dc4c1c9 |
| Sep 27, 2024 12:56am |
|
0 |
VERSION_BUMP |
179fa3f5 |
| Sep 13, 2024 6:44pm |
|
0 |
VERSION_BUMP |
fbbceab0 |
|