flix

We have hosted the application flix in order to run this application in our online workstations with Wine or directly.

Quick description about flix:

Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first?class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail?call elimination, and allows entire Datalog programs as values.

Features:

• Functional-first design with algebraic data types and pattern matching
• Built-in Datalog support and logical programming within the type system
• Polymorphic effect system distinguishing pure vs impure functions
• Tail-call elimination over the JVM via transformation
• Whole-program compilation with monomorphization and tree-shaking
• No unused code or variable shadowing allowed�enforced via compiler errors

Programming Language: Scala.
Categories: