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

Project Samples

Project Activity

See All Activity >

License

MIT License

Follow Flix

Flix Web Site

Other Useful Business Software
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Flix!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Programming Language

Scala

Related Categories

Scala Programming Languages

Registered

2025-08-04