Flix – A powerful effect-oriented programming language

Flix is a programming language that combines functional and logic programming paradigms. It offers features like first-class Datalog constraints, algebraic data types, and pattern matching. Flix aims to be a safe and expressive language for building distributed systems and analyzing programs. The language is statically typed, has a JVM backend, and provides seamless Java interoperability. Flix is designed to be familiar to programmers experienced with functional languages while introducing novel concepts from logic programming.