Flix is a principled and flexible functional-, logic-, and imperative- programming language that takes inspiration from F#, Go, OCaml, Haskell, Rust, and Scala. Flix looks like Scala, but its type system is closer to that of OCaml and Haskell. Its concurrency model is inspired by Go-style processes and channels.
Flix compiles to JVM bytecode, runs on the Java Virtual Machine, and supports full tail call elimination.
Research on Flix explores connections between functional and logic programming in the area of declarative fixpoint computations.